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