Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Petri nets
Algebra
2
Algebraic properties
2
Basic algebra
2
Behavioral properties
2
C/E nets with boundaries
2
Component based systems
2
Compositional interfaces
2
Connector algebras
2
Different class
2
Effective translation
2
Embedded systems
2
Model checking tools
2
Model driven design
2
Models
2
Mutual exclusions
2
P/T net
2
P/T nets with boundaries
2
Property specification language
2
Real-time embedded systems
2
Schedulability analysis
2
Semantics
2
Specification and verification
2
Specification languages
2
Stateless connectors
2
Tile
2
Tiles
2
Tools
2
-
1
-
2
-
3
-
4