Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata
2
Automata theory
2
Automatic technique
2
Design
2
Duration properties
2
Interactive computer systems
2
Model checking
2
Model-checking
2
Physical design
2
Real time systems
2
Real-time software
2
Real-time system designs
2
Run-time scheduling
2
Scheduling
2
Scheduling theory
Specifications
2
Systems analysis
2
Temporal behavior
2
Verification
2
-
1
-
2