Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Timed automata
10
Automata theory
9
Distributed computer systems
7
Program processors
7
Mathematical models
6
Distributed timed model checking
5
Real time systems
5
ZEUS
5
Algorithms
4
Computer architecture
4
Data storage equipment
4
Data structures
4
KRONOS
4
Kronos
4
Load-balance
4
Model checking
4
Reachability
4
Reconfiguration
4
Redistribution
4
Zeus
4
Computation theory
3
Computer aided software engineering
3
Computer software
3
Computer workstations
3
Distributed Timed Model Checking
3
Distributed timed model-checker
3
Graph theory
3
Load-Balance
3
Matrix algebra
3
Model-checking
3
-
1por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF -
2Materias: “...Model Checking Regulations...”
SER -
3por Faciano, C., Di Iorio, A.H., Giaccaglia, M.F., Mera, S., Clara, B.L., Rua, M.B., Schapachnik, F., Uriarte, V., Marcos, C., Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; WeightmansMaterias: “...Model checking regulations...”
CONF -
4Materias: “...Model checking...”
SER -
5Materias: “...Distributed Timed Model Checking...”
Artículo publishedVersion -
6Materias: “...Distributed Timed Model Checking...”
Artículo publishedVersion -
7Materias: “...Distributed timed model checking...”
JOUR -
8Materias: “...Distributed Timed Model Checking...”
JOUR -
9Materias: “...Distributed timed model checking...”
JOUR -
10Materias: “...Model-checking...”
Artículo publishedVersion -
11Materias: “...Model-checking...”
Artículo publishedVersion -
12Materias: “...Model-checking...”
JOUR