Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Timed automata
3
ZEUS
Automata theory
2
Computer aided software engineering
2
Data storage equipment
2
Data structures
2
Distributed computer systems
2
Distributed timed model checking
2
KRONOS
2
Real time systems
2
Algorithms
1
Computer architecture
1
Computer simulation
1
Computer workstations
1
Difference bound matrices
1
Distributed Timed Model Checking
1
Distributed time model checking
1
Eclipse plug-in
1
Kronos
1
LAPSUS
1
Large scale systems
1
Load-Balance
1
Load-balance
1
Mathematical models
1
Model checking
1
OBSSLICE
1
Prediction
1
Program processors
1
Reachability
1
Reconfiguration
1
-
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
-
2Materias: “...Distributed timed model checking...”
-
3Materias: “...Distributed Timed Model Checking...”