Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Specification and verification
4
Behavioral properties
2
Build time
2
Effective translation
2
Embedded systems
2
Memory consumption
2
Model checking
2
Model checking tools
2
Model driven design
2
Models
2
Modular analysis
2
ON dynamics
2
Petri nets
2
Points-to analysis
2
Property specification language
2
Real-time embedded systems
2
Resource usage
2
Resource usage annotations
2
Schedulability analysis
2
Specification languages
2
Static verification
2
Tools
2
Visual studios
2
-
1Materias: “...Specification and verification...”
-
2Materias: “...Specification and verification...”
CONF -
3Materias: “...Specification and verification...”
-
4Materias: “...Specification and verification...”
CONF