Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Timed automata
14
Automata theory
12
Distributed computer systems
10
Program processors
10
Distributed timed model checking
8
Mathematical models
8
Real time systems
8
ZEUS
8
Accelerated failure time models
6
Algorithms
6
Computer architecture
6
Data storage equipment
6
Data structures
6
KRONOS
6
Kronos
6
Load-balance
6
Reachability
6
Reconfiguration
6
Redistribution
6
Zeus
6
Censored data
4
Censored observations
4
Computation theory
4
Computer aided software engineering
4
Computer software
4
Computer workstations
4
Distributed Timed Model Checking
4
Distributed timed model-checker
4
Graph theory
4
Intelligent systems
4
-
1
-
2por Boette, Alan Pablo, Rossignoli, Raúl Dante, Gigena, Nicolás Alejandro, Cerezo de la Roca, Marco Vinicio SebastiánMaterias: “...Quantum time models...”
Publicado 2016
Aportado por: SEDICI (UNLP)Articulo Preprint -
3
-
4por 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
-
5por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF -
6Publicado 2008Materias: “...Accelerated failure time models...”
-
7Materias: “...Accelerated failure time models...”
JOUR -
8Publicado 2011Materias: “...Accelerated failure time models...”
-
9Materias: “...Accelerated failure time models...”
JOUR -
10
-
11Materias: “...Distributed timed model checking...”
-
12Materias: “...Distributed Timed Model Checking...”
-
13Materias: “...Distributed timed model checking...”
-
14Materias: “...Distributed Timed Model Checking...”
Artículo publishedVersion -
15Materias: “...Distributed Timed Model Checking...”
Artículo publishedVersion -
16Materias: “...Distributed timed model checking...”
JOUR -
17Materias: “...Distributed Timed Model Checking...”
JOUR -
18Materias: “...Distributed timed model checking...”
JOUR -
19Materias: “...Distributed timed model-checker...”
-
20Materias: “...Distributed timed model-checker...”
Artículo publishedVersion