Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behavioral properties
2
Effective translation
2
Embedded systems
2
Model checking
2
Model checking tools
2
Model driven design
2
Models
2
Petri nets
2
Property specification language
2
Real-time embedded systems
2
Schedulability analysis
2
Specification and verification
2
Specification languages
2
Tools
-
1Materias: “...Model checking tools...”
-
2Materias: “...Model checking tools...”
CONF