Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algorithms
Automata theory
1
Computer workstations
Data storage equipment
1
Distributed Timed Model Checking
1
Distributed computer systems
1
Distributed timed model checking
1
KRONOS
1
Kronos
1
Load-Balance
1
Load-balance
1
Mathematical models
1
Prediction
1
Program processors
1
Reachability
1
Reconfiguration
1
Redistribution
1
Timed Automata
1
Timed automata
1
ZEUS
1
Zeus
1
-
1“... promising results when verifying reachability properties over timed automata [3]. © 2005 Elsevier B.V....”
Artículo publishedVersion