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
Métodos formales
3
Estados esenciales
2
Explosión del espacio de estados
2
MTBDD
2
Model checking simbólico
2
PRISM
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
Verificación formal
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
Software / Program Verification
1
Software. Program Verification
1
Teoría de la computación
1
Theory of computation
1
Tolerancia a fallas
1
-
1por Ferrer Fioriti, Luis María.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Ferrer Fioriti, Luis MaríaMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Zandarin, Nicolás H.Materias: “...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 Bordenabe, Nicolas EmilioMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Zandarin, Nicolás HugoMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Acosta, Araceli NataliaMaterias: “...Model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis