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
2
Program verification
2
Software
2
Verificación formal
2
Atomic broadcast
1
Automata
1
Automata over infinite objects
1
Computing methodologies
1
Concurrencia
1
Concurrency
1
Confluencia
1
Determinismo
1
Distributed algorithms
1
Distributed computing models
1
Distributed protocols
1
Estados esenciales
1
Explosión del espacio de estados
1
Formal languages and automata theory
1
Formal methods
1
Formal verification
1
Ingeniería de software
1
Logic
1
MTBDD
1
Modelado y simulación
1
Modelos computacionales
1
Models of computation
1
Métodos formales
1
Operating systems
1
PRISM
1
Paxos
1
-
1por Miretti, Gabriel LeonardoMaterias: “...Formal methods...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Budde, Carlos EstebanMaterias: “...Verificación formal de sistemas...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3por Bordenabe, Nicolas EmilioMaterias: “...Verificación formal...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Zandarin, Nicolás HugoMaterias: “...Métodos formales...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Monti, Raúl EnriqueMaterias: “...Verificación formal...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Naser Pastoriza, Alejandro JoséMaterias: “...Formal verification...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
7por Monti, Raúl EnriqueMaterias: “...Formal languages and automata theory...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis