Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
7
Model checking
7
Timed automata
6
Real time systems
5
Data structures
4
Computer aided software engineering
3
Distributed computer systems
3
Distributed timed model checking
3
Program processors
3
Reachability
3
Verification
3
ZEUS
3
Algorithms
2
Behavioral properties
2
Computer architecture
2
Data storage equipment
2
Design
2
KRONOS
2
Kronos
2
Load-balance
2
Mathematical models
2
Model checking tools
2
Model-checking
2
Reconfiguration
2
Redistribution
2
Scheduling
2
Software engineering
2
Specification languages
2
Specifications
2
Zeus
2
-
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
-
2
-
3Materias: “...Model checking tools...”
-
4Materias: “...Model checking...”
-
5Materias: “...Distributed timed model checking...”
-
6Materias: “...Distributed Timed Model Checking...”
-
7
-
8Materias: “...Distributed timed model checking...”
-
9
-
10Materias: “...Model checking...”
-
11Materias: “...Model-checking...”