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.
Model checking
58
Automata theory
22
Data structures
18
Specifications
18
Timed automata
16
Software engineering
14
Computation theory
12
Distributed computer systems
12
Real time systems
12
ZEUS
11
Computer software
10
Program processors
10
MODEL CHECKING
9
Distributed timed model checking
8
Mathematical models
8
Reachability
8
Algorithms
6
Artificial intelligence
6
Computer aided software engineering
6
Computer architecture
6
Data storage equipment
6
Formal logic
6
Inductive learning
6
Java programming language
6
KRONOS
6
Kronos
6
Learning systems
6
Load-balance
6
Model-checking
6
Operational requirements
6
-
1Materias: “...CHECK-LIST...”
Artículo publishedVersion -
2Materias: “...CHECK-LIST...”
-
3
-
4
Aportado por: Biblioteca Central (FAUBA)Artículo -
5
-
6Publicado 2016Materias: “...Model checking...”
-
7Materias: “...Model checking...”
JOUR -
8Publicado 2017Materias: “...Software model checking...”
-
9por Castano, R., Braberman, V., Garbervetsky, D., Uchitel, S., Nguyen T.N., Rosu G., Di Penta M., College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software EngineeringMaterias: “...Software model checking...”
CONF -
10por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
11por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
12
-
13por 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
-
14por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF -
15por Regis, Germán EnriqueMaterias: “...MODEL CHECKING...”
Publicado 2014
Tesis doctoral publishedVersion -
16por Regis, Germán EnriqueMaterias: “...MODEL CHECKING...”
Publicado 2014
Tesis doctoral publishedVersion -
17
-
18Materias: “...Model Checking Regulations...”
-
19Materias: “...Model Checking Regulations...”
SER -
20Publicado 2009Materias: “...Model checking problem...”