Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Real time systems
4
VTS
Automata theory
2
Computer aided analysis
2
Computer aided software engineering
2
Computer aided verification techniques
2
Computer programming languages
2
Constraint theory
2
Data structures
2
Eclipse plug-in
2
Embedded systems
2
LAPSUS
2
Large scale systems
2
Model checking
2
OBSSLICE
2
Safety critical systems
2
Software engineering
2
Systems engineering
2
Timed automata
2
Timed automaton model
2
Timed model checking
2
Verification
2
ZEUS
2
-
1
-
2
-
3
-
4