Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
13
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
7
Métodos formales
5
PRISM
4
Logic
3
Theory of computation
3
Tolerancia a fallas
3
Verification by model checking
3
Bisimulation
2
Borel space
2
Cadena de Markov de tiempo discreto
2
Continuous probabilities
2
Contraejemplos
2
Estados esenciales
2
Explosión del espacio de estados
2
Logical characterization
2
Lógica LTL
2
Lógicas deónticas
2
MTBDD
2
Model Check
2
Model checking probabilista
2
Model checking simbólico
2
Nondeterministic Markov decision process
2
Probabilistic automaton
2
Reducción de orden parcial
2
Sistema tolerante a fallas
2
Sistemas distribuidos
2
Sistemas probabilistas
2
Software
2
Software Program verification
2
Software engineering
2
-
1por Molina Sandoval, Carlos AlbertoMaterias: “...Electronic check...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)article -
2por 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 -
3por 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 -
4Materias: “...Statistical model checking...”
Aportado por: Repositorio Digital Universitario (UNC)article -
5por Ferrer Fioriti, Luis María.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Ferrer Fioriti, Luis MaríaMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Zandarin, Nicolás H.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Bordenabe, Nicolas EmilioMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9por Bordenabe, Nicolas EmilioMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
10por Kilmurray, Cecilia NoeliaMaterias: “...Verification by model checking...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
11por Kilmurray, Cecilia NoeliaMaterias: “...Verification by model checking...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
12por Zandarin, Nicolás HugoMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
13por Marenchino, Matías L.Materias: “...Model Checking Probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
14por Marenchino, Matías LeandroMaterias: “...Model checking probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
15por Acosta, Araceli NataliaMaterias: “...Model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
16por 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 -
17por Monti, Raúl EnriqueMaterias: “...Verification by model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis