Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Timed automata
Automata theory
16
Distributed computer systems
10
Program processors
10
Real time systems
10
Data structures
8
Distributed timed model checking
8
Mathematical models
8
ZEUS
8
Algorithms
6
Computer aided software engineering
6
Computer architecture
6
Data storage equipment
6
KRONOS
6
Kronos
6
Load-balance
6
Reachability
6
Reconfiguration
6
Redistribution
6
Zeus
6
Computation theory
4
Computer software
4
Computer workstations
4
Distributed Timed Model Checking
4
Distributed timed model-checker
4
Graph theory
4
Load-Balance
4
Matrix algebra
4
Model checking
4
Model-checking
4
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8Artículo publishedVersion
-
9Artículo publishedVersion
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17Artículo publishedVersion
-
18Artículo publishedVersion