Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer aided software engineering
Data structures
6
Timed automata
6
Automata theory
4
Model checking
4
Real time systems
4
Verification
4
ZEUS
4
Computer architecture
2
Computer simulation
2
Data storage equipment
2
Difference Bound Matrices
2
Difference bound matrices
2
Distributed computer systems
2
Distributed time model checking
2
Distributed timed model checking
2
Eclipse plug-in
2
Hypervolume approximation
2
KRONOS
2
LAPSUS
2
Large scale systems
2
OBSSLICE
2
Timed model checking
2
Timed systems
2
VTS
2
-
1por Cavatorta, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando PabloMaterias: “...Timed model checking...”
Publicado 2006
-
2por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF -
3Materias: “...Model checking...”
-
4Materias: “...Model checking...”
SER -
5Materias: “...Distributed timed model checking...”
-
6Materias: “...Distributed timed model checking...”
JOUR