Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Real time systems
2
VTS
Automata theory
1
Computer aided analysis
1
Computer aided software engineering
1
Computer aided verification techniques
1
Computer programming languages
1
Constraint theory
1
Data structures
1
Eclipse plug-in
1
Embedded systems
1
LAPSUS
1
Large scale systems
1
Model checking
1
OBSSLICE
1
Safety critical systems
1
Software engineering
1
Systems engineering
1
Timed automata
1
Timed automaton model
1
Timed model checking
1
Verification
1
ZEUS
1
-
1Materias: “...Software engineering...”
-
2por Cavatorta, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando PabloMaterias: “...Computer aided software engineering...”
Publicado 2006