Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
Timed automata
14
Distributed computer systems
10
Model checking
10
Program processors
10
Data structures
8
Distributed timed model checking
8
Mathematical models
8
Real time systems
8
Algorithms
6
Computer architecture
6
Data storage equipment
6
KRONOS
6
Kronos
6
Load-balance
6
Model-checking
6
Problem solving
6
Reachability
6
Reconfiguration
6
Redistribution
6
ZEUS
6
Zeus
6
Computation theory
4
Computer aided software engineering
4
Computer software
4
Computer workstations
4
Design
4
Distributed Timed Model Checking
4
Distributed timed model-checker
4
Graph theory
4
-
1Publicado 2009Materias: “...Model checking problem...”
-
2Materias: “...Model checking problem...”
SER -
3
-
4Materias: “...Model checking tools...”
SER -
5Publicado 2016Materias: “...model checking...”
-
6Materias: “...model checking...”
JOUR -
7Materias: “...Model checking...”
-
8Materias: “...Model checking...”
SER -
9Materias: “...Distributed timed model checking...”
-
10Materias: “...Distributed Timed Model Checking...”
-
11
-
12Materias: “...Distributed timed model checking...”
-
13Materias: “...Distributed Timed Model Checking...”
Artículo publishedVersion -
14Materias: “...Distributed Timed Model Checking...”
Artículo publishedVersion -
15Materias: “...Distributed timed model checking...”
JOUR -
16Materias: “...Model-checking...”
CONF -
17Materias: “...Distributed Timed Model Checking...”
JOUR -
18Materias: “...Distributed timed model checking...”
JOUR -
19Materias: “...Model-checking...”
-
20Materias: “...Model-checking...”
Artículo publishedVersion