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