Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Semantics
Algebra
4
Middleware
4
Model checking
4
Algebraic properties
2
Architecture
2
Basic algebra
2
Behavior analysis
2
Building systems
2
C/E nets with boundaries
2
Complex networks
2
Component based systems
2
Composition of services
2
Compositional interfaces
2
Computation theory
2
Computational networks
2
Computer programming languages
2
Computer software reusability
2
Concurrent interactions
2
Connector algebras
2
Different class
2
Distributed computer systems
2
Engineers
2
Formal Semantics
2
Formal methods
2
In-buildings
2
Information services
2
Linear temporal logic
2
Mechanical support
2
Middleware components
2
-
1
-
2Publicado 2013Materias: “...Model checking...”
-
3Materias: “...Model checking...”
JOUR -
4Publicado 2015Materias: “...Model-checking techniques...”
-
5Materias: “...Model-checking techniques...”
SER -
6Publicado 2010Materias: “...Model checking...”
-
7Materias: “...Model checking...”
JOUR