Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Data structures
Timed automata
4
Automata theory
3
Computer aided software engineering
3
Distributed timed model checking
2
Model checking
2
Real time systems
2
Verification
2
ZEUS
2
Algorithms
1
Computer architecture
1
Computer simulation
1
Control equipment
1
DBM
1
Data storage equipment
1
Difference Bound Matrices
1
Difference Bound Matrices (DBM)
1
Difference bound matrices
1
Distributed computer systems
1
Distributed time model checking
1
Eclipse plug-in
1
Formal logic
1
Hypervolume approximation
1
KRONOS
1
Kronos
1
LAPSUS
1
Large scale systems
1
Load-balance
1
OBSSLICE
1
Program processors
1
-
1por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF -
2Materias: “...Model checking...”
SER -
3Materias: “...Distributed timed model checking...”
JOUR -
4Materias: “...Distributed timed model checking...”
JOUR