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.
Tolerancia a fallas
Métodos formales
3
Theory of computation
3
Fault tolerance
2
Lógicas deónticas
2
Verificación de software
2
Verification by model checking
2
Deontic logic
1
Formal methods
1
Herramienta de verificación
1
Ingeniería de software
1
Lógica deóntica
1
Model checking
1
Operating systems
1
Program verification
1
Reliability
1
Sistemas operativos
1
Software
1
Stochastic game theory
1
Teoría de juegos estocásticos
1
Teoría de la computación
1
Verificación formal
1
Verification tool
1
-
1por Kilmurray, Cecilia NoeliaMaterias: “...Tolerancia a fallas...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Kilmurray, Cecilia NoeliaMaterias: “...Tolerancia a fallas...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3por Monti, Raúl EnriqueMaterias: “...Tolerancia a fallas...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Putruele, Luciano, Demasi, Ramiro Adrián, Castro, Pablo Francisco, D'Argenio, Pedro RubenMaterias: “...Tolerancia a fallas...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
5por Acosta, Araceli NataliaMaterias: “...Tolerancia a fallas...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis