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
3
Logic
2
PRISM
2
Statistical model checking
2
Análisis de árboles de fallas
1
Automata
1
Automata over infinite objects
1
Bisimulation
1
Borel space
1
Cadena de Markov de tiempo discreto
1
Concurrencia
1
Concurrency
1
Confiabilidad de sistemas
1
Confluencia
1
Continuous probabilities
1
Contraejemplos
1
Determinismo
1
Estados esenciales
1
Explosión del espacio de estados
1
Fault tree analysis
1
Formal languages and automata theory
1
Logical characterization
1
Lógica LTL
1
MTBDD
1
Model Check
1
Model checking probabilista
1
Model checking simbólico
1
Models of computation
1
Métodos formales
1
Nondeterminism
1
-
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 -
2Materias: “...Statistical model checking...”
Aportado por: Repositorio Digital Universitario (UNC)article -
3por Ferrer Fioriti, Luis MaríaMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Bordenabe, Nicolas EmilioMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Zandarin, Nicolás HugoMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Marenchino, Matías LeandroMaterias: “...Model checking probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Budde, Carlos E., D'Argenio, Pedro Ruben, Monti, Raúl Enrique, Stoelinga, MariëlleMaterias: “...Statistical model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
8por Monti, Raúl EnriqueMaterias: “...Verification by model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis