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.
Métodos formales
Model checking
3
Theory of computation
3
Tolerancia a fallas
3
Estados esenciales
2
Explosión del espacio de estados
2
Lógicas deónticas
2
MTBDD
2
PRISM
2
Software
2
Verificación de software
2
Verification by model checking
2
Deontic logic
1
Fault tolerance
1
Formal methods
1
Lógica deóntica
1
Model checking probabilista
1
Program Verification
1
Program verification
1
Teoría de la computación
1
-
1por Zandarin, Nicolás H.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Kilmurray, Cecilia NoeliaMaterias: “...Verification by model checking...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3por Kilmurray, Cecilia NoeliaMaterias: “...Verification by model checking...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Zandarin, Nicolás HugoMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Acosta, Araceli NataliaMaterias: “...Model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis