Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer programming languages
Real time systems
Automata theory
2
Computer aided analysis
2
Computer aided verification techniques
2
Computer simulation
2
Constraint theory
2
Embedded systems
2
Hierarchical systems
2
Mathematical models
2
Safety critical systems
2
Software engineering
2
Systems engineering
2
Timed automaton model
2
VTS
2
Virtual-time approach
2
-
1
-
2
-
3
-
4