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
3
PRISM
2
Análisis multi-objetivo
1
Atomic broadcast
1
Automata
1
Automata over infinite objects
1
Cadena de Markov de tiempo discreto
1
Concurrencia
1
Concurrency
1
Confluencia
1
Contraejemplos
1
Delay tolerant networks
1
Desarrollo y análisis de modelos
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 verification
1
Herramienta Storm
1
Logic
1
Lógica LTL
1
MTBDD
1
Model checking probabilista
1
Model checking simbólico
1
Model development and analysis
1
Model verification and validation
1
Modeling and simulation
1
-
1por Ferrer Fioriti, Luis MaríaMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Torrella, Ulises NicolásMaterias: “...Modeling and simulation...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Bordenabe, Nicolas EmilioMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Zandarin, Nicolás HugoMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Marenchino, Matías LeandroMaterias: “...Model checking probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Monti, Raúl EnriqueMaterias: “...Models of computation...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
7por Naser Pastoriza, Alejandro JoséMaterias: “...Distributed computing models...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion