Catálogo de publicaciones - tesis
Título de Acceso Abierto
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
Cecilia Noelia Kilmurray Pablo Francisco Castro
acceptedVersion.
Resumen/Descripción – provisto por el repositorio digital
Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2020.Palabras clave – provistas por el repositorio digital
Métodos formales; Tolerancia a fallas; Lógicas deónticas; Verificación de software; Theory of computation; Verification by model checking
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | 2020 | Repositorio Digital Universitario (SNRD) |
|
Información
Tipo de recurso:
tesis
Idiomas de la publicación
- español castellano
País de edición
Argentina
Fecha de publicación
2020-06
