Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Timed automata
6
Automata theory
5
Data structures
4
Computer aided software engineering
3
Distributed computer systems
3
Distributed timed model checking
3
Model checking
3
Program processors
3
Real time systems
3
ZEUS
3
Algorithms
2
Computer architecture
2
Data storage equipment
2
KRONOS
2
Kronos
2
Load-balance
2
Mathematical models
2
Reachability
2
Reconfiguration
2
Redistribution
2
Verification
2
Zeus
2
Automated Legislative Drafting
1
Automatic analysis
1
Computation theory
1
Computer simulation
1
Computer software
1
Computer workstations
1
Control equipment
1
DBM
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: “...Model Checking Regulations...”
-
3Materias: “...Model checking...”
-
4Materias: “...Distributed timed model checking...”
-
5Materias: “...Distributed Timed Model Checking...”
-
6Materias: “...Distributed timed model checking...”
-
7Materias: “...Model-checking...”