Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
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.
Guardado en:
| Autor principal: | Kilmurray, Cecilia Noelia |
|---|---|
| Otros Autores: | Castro, Pablo Francisco |
| Formato: | doctoralThesis |
| Lenguaje: | Español |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/17407 |
| Aporte de: |
Ejemplares similares
-
Extensión de lógicas temporales con nociones deónticas para la especificación y análisis de sistemas tolerantes a fallas
por: Kilmurray, Cecilia Noelia
Publicado: (2021) -
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
por: Bordenabe, Nicolas Emilio
Publicado: (2011) -
OFFBEAT : una extensión de PRISM para el análisis de sistemas temporizados tolerantes a fallas
por: Bordenabe, Nicolas Emilio
Publicado: (2011) -
Falluto2.0 un model checker para la verificación automática de sistemas tolerantes a fallas
por: Monti, Raúl Enrique
Publicado: (2022) -
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
por: Acosta, Araceli Natalia
Publicado: (2023)