Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
29
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
74
Automata theory
22
Data structures
18
Specifications
18
Ciencias Informáticas
17
Software engineering
16
Timed automata
16
Computation theory
12
Distributed computer systems
12
Real time systems
12
ZEUS
11
Computer software
10
Program processors
10
MODEL CHECKING
9
Reachability
9
model checking
9
Distributed timed model checking
8
Mathematical models
8
Verification
8
Formal methods
7
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
-
1por Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Model Check...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
2por Budde, Carlos Esteban, D'Argenio, Pedro Rubén, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Model Check...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
3Publicado 2016Materias: “...Model checking...”
-
4Materias: “...Model checking...”
JOUR -
5
-
6Materias: “...Statistical model checking...”
Aportado por: Repositorio Digital Universitario (UNC)article -
7Publicado 2017Materias: “...Software model checking...”
-
8por 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 -
9
-
10por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
11por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
12
-
13por Ferrer Fioriti, Luis María.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
14por Ferrer Fioriti, Luis MaríaMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
15por Asteasuain, FernandoMaterias: “...model checking...”
Publicado 2010
Aportado por: SEDICI (UNLP)Objeto de conferencia -
16por Ponzio, Pablo Daniel, Godio, Ariel, Rosner, Nicolás, Arroyo, Marcelo, Aguirre, Nazareno Matías, Frias, Marcelo F.Materias: “...Model checking of programs...”
Publicado 2021
Aportado por: SEDICI (UNLP)Objeto de conferencia -
17
-
18por Zandarin, Nicolás H.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
19por 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
-
20por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF