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