Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
10
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
3
Logic
2
PRISM
2
Program verification
2
Sistemas distribuidos
2
Software
2
Statistical model checking
2
Stochastic game theory
2
Teoría de juegos estocásticos
2
Tolerancia a fallas
2
Verificación formal
2
Análisis de ejecución y ayudas de diseño
1
Análisis de árboles de fallas
1
Análisis multi-objetivo
1
Atomic broadcast
1
Automata
1
Automata over infinite objects
1
Bisimulation
1
Borel space
1
Cadena de Markov de tiempo discreto
1
Computing methodologies
1
Concurrencia
1
Concurrency
1
Confiabilidad de sistemas
1
Confluencia
1
Continuous probabilities
1
Contraejemplos
1
Delay tolerant networks
1
Desarrollo y análisis de modelos
1
Determinismo
1
-
1por Hunicken Berardo, Matías José
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2
-
3
-
4por Bordenabe, Nicolas Emilio
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Budde, Carlos Esteban
Publicado 2018Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
6por Zandarin, Nicolás Hugo
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Ferrer Fioriti, Luis María
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8
-
9por Marenchino, Matías Leandro
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
10por Miretti, Gabriel Leonardo
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
11por Giro, Sergio Sebastián
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
12por Torrella, Ulises Nicolás
Publicado 2023Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
13por Budde, Carlos E., D'Argenio, Pedro Ruben, Monti, Raúl Enrique, Stoelinga, Mariëlle
Publicado 2023Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
14por Putruele, Luciano, Demasi, Ramiro Adrián, Castro, Pablo Francisco, D'Argenio, Pedro Ruben
Publicado 2023Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
15por Castro, Pablo Francisco, D'Argenio, Pedro Ruben, Demasi, Ramiro Adrián, Putruele, Luciano
Publicado 2023Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
16por Monti, Raúl Enrique
Publicado 2023Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
17por Monti, Raúl Enrique
Publicado 2022Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
18por Naser Pastoriza, Alejandro José
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion