Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
2
Abstraction techniques
1
Behavioral properties
1
Component analysis
1
Distributed real time system
1
Effective translation
1
Embedded systems
1
Event pattern
1
Location
1
Model checking tools
1
Model driven design
1
Models
1
Object oriented programming
1
Occurrence pattern
1
Petri nets
1
Property specification language
1
Reachability
1
Real time systems
1
Real-time embedded systems
1
Schedulability analysis
1
Specification and verification
1
Specification languages
1
State explosion
1
State machine
1
Time sharing systems
1
Tools
1
-
1Materias: “...Model checking tools...”
-
2Materias: “...Model checking...”