Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Abstract reachability trees
1
Computer aided software engineering
1
Data structures
1
Eclipse plug-in
1
LAPSUS
1
Large scale systems
1
Model checker
1
OBSSLICE
1
Real time systems
1
Software engineering
1
Software model checkers
1
Software model checking
1
Timed automata
1
Timed model checking
1
VTS
1
Verification
1
ZEUS
1
-
1por Castano, R., Braberman, V., Garbervetsky, D., Uchitel, S., Nguyen T.N., Rosu G., Di Penta M., College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software EngineeringMaterias: “...Software engineering...”
CONF -
2por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Computer aided software engineering...”
CONF