Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Tools
Algorithms
1
Automata theory
1
Behavioral properties
1
Effective translation
1
Embedded systems
1
Information use
1
Model checking
1
Model checking tools
1
Model driven design
1
Models
1
Optimized models
1
Original model
1
Parallel composition
1
Petri nets
1
Property specification language
1
Real time systems
1
Real-time embedded systems
1
Relevant components
1
Schedulability analysis
1
Specification and verification
1
Specification languages
1
State-space reduction
1
Time sharing systems
1
Timed Automata
1
Timed systems
1
Verification tools
1
-
1
-
2