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.
Ciencias Informáticas
13
MODEL CHECKING
6
Model checking
5
ZEUS
4
ANALISIS AUTOMATICO DE PROGRAMAS
3
AUTOMATAS TEMPORIZADOS
3
AUTOMATED VERIFICATION
3
COBERTURA
3
COMPUTACION DISTRIBUIDA
3
COMPUTACION PARALELA
3
COVERAGE
3
DISTRIBUTED COMPUTING
3
FORMAL VERIFICATION
3
MULTIPROCESADOR
3
MULTIPROCESSOR
3
PARALLEL COMPUTING
3
PROGRAM ANALYSIS
3
REAL-TIME SYSTEMS
3
SISTEMAS DE TIEMPO REAL
3
SOFTWARE ENGINEERING
3
TIMED AUTOMATA
3
VERIFICACION AUTOMATICA
3
VERIFICACION FORMAL
3
model checking
3
Automata theory
2
Bisimulation
2
Borel space
2
Computation theory
2
Continuous probabilities
2
Distributed computer systems
2
-
1
-
2
-
3
Aportado por: Biblioteca Central (FAUBA)Artículo -
4
-
5por 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 -
6por 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 -
7Materias: “...Statistical model checking...”
Aportado por: Repositorio Digital Universitario (UNC)article -
8
-
9por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
10por Castaño, RodrigoMaterias: “...MODEL CHECKING...”
Publicado 2018
Tesis doctoral publishedVersion -
11
-
12por Gonzalía, Carlos JoséMaterias: “...refinement checking...”
Publicado 2012
Aportado por: SEDICI (UNLP)Objeto de conferencia -
13
-
14
-
15
-
16
-
17
-
18
-
19Materias: “...Model checking...”
Artículo publishedVersion -
20