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
74
Ciencias Informáticas
29
Automata theory
22
Data structures
18
Specifications
18
Software engineering
16
Timed automata
16
Computation theory
12
Distributed computer systems
12
Real time systems
12
ZEUS
11
CHECKS
10
Computer software
10
Program processors
10
MODEL CHECKING
9
model checking
9
Distributed timed model checking
8
Formal methods
8
Mathematical models
8
Reachability
8
Verification
8
Semantics
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
-
21Publicado 2016Materias: “...Model checking...”
-
22Materias: “...Model checking...”
JOUR -
23Publicado 2017Materias: “...Software model checking...”
-
24por 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 -
25por Ruscuni, Sebastián MarianoMaterias: “...Error-checking...”
Publicado 2000
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
26
-
27
-
28por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
29por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
30
-
31por Gonzalía, Carlos JoséMaterias: “...refinement checking...”
Publicado 2012
Aportado por: SEDICI (UNLP)Objeto de conferencia -
32por Barrientos, Pablo AndrésMaterias: “...QuickCheck...”
Publicado 2014
Aportado por: SEDICI (UNLP)Tesis Tesis de maestria -
33por Asteasuain, FernandoMaterias: “...model checking...”
Publicado 2010
Aportado por: SEDICI (UNLP)Objeto de conferencia -
34por 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 -
35por Montezanti, Diego MiguelMaterias: “...Error-checking...”
Publicado 2014
Aportado por: SEDICI (UNLP)Tesis Trabajo de especializacion -
36
-
37por Céspedes Flores, Andreína VanessaMaterias: “...Fact checking...”
Publicado 2022
Aportado por: SEDICI (UNLP)Tesis Trabajo de especializacion -
38por Ferrer Fioriti, Luis María.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
39por Ferrer Fioriti, Luis MaríaMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
40por Zandarin, Nicolás H.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis