Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer aided software engineering
2
Data structures
2
Real time systems
2
Timed automata
2
ZEUS
Automata theory
1
Computer architecture
1
Computer simulation
1
Data storage equipment
1
Difference bound matrices
1
Distributed computer systems
1
Distributed time model checking
1
Distributed timed model checking
1
Eclipse plug-in
1
KRONOS
1
LAPSUS
1
Large scale systems
1
Model checking
1
OBSSLICE
1
Timed model checking
1
Timed systems
1
VTS
1
Verification
1
-
1por 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
-
2Materias: “...Computer aided software engineering...”