Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
4
Model checking tools
4
Analytical theory
2
Automata theory
2
Automatic approaches
2
Behavioral properties
2
Design
2
Distributed systems
2
Effective translation
2
Embedded systems
2
Fixed-priority scheduling
2
Formal verifications
2
Model driven design
2
Models
2
Petri nets
2
Property specification language
2
Real-time embedded systems
2
Schedulability analysis
2
Scheduling
2
Scheduling analysis
2
Software engineering
2
Specification and verification
2
Specification languages
2
Timing requirements
2
Tools
2
-
1
-
2Materias: “...Model checking tools...”
SER -
3Materias: “...Model checking tools...”
-
4Materias: “...Model checking tools...”
CONF