Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
13
Revistas
2
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
7
Métodos formales
5
PRISM
4
Logic
3
Theory of computation
3
Tolerancia a fallas
3
Verification by model checking
3
Bisimulation
2
Borel space
2
Cadena de Markov de tiempo discreto
2
Continuous probabilities
2
Contraejemplos
2
Estados esenciales
2
Explosión del espacio de estados
2
Hopkins Symptom Check-Lists Argentine version
2
Hopkins Symptom Checklist versión argentina
2
Logical characterization
2
Lógica LTL
2
Lógicas deónticas
2
MTBDD
2
Model Check
2
Model checking probabilista
2
Model checking simbólico
2
Nondeterministic Markov decision process
2
Probabilistic automaton
2
Reducción de orden parcial
2
Sistema tolerante a fallas
2
Sistemas distribuidos
2
Sistemas probabilistas
2
Software
2
-
1por Molina Sandoval, Carlos AlbertoMaterias: “...Electronic check...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)article -
2por Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Model Check...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
3por Budde, Carlos Esteban, D'Argenio, Pedro Rubén, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Model Check...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
4Materias: “...Statistical model checking...”
Aportado por: Repositorio Digital Universitario (UNC)article -
5por Ferrer Fioriti, Luis María.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Ferrer Fioriti, Luis MaríaMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Zandarin, Nicolás H.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Gómez-Penedo, Juan Martín, Areas, Malenka Alejandra, Manubens, Rocío, Babl, Anna Margarete, Challú, Laura, Juan, Santiago, Muiños, Roberto, Fernández-Álvarez, Javier, Alalú, Nicolás, Roussos, Andrés, Lutz, Wolfgang, Martin grosse-Holtforth, Martin grosse-HoltforthMaterias: “...Hopkins Symptom Check-Lists Argentine version...”
Publicado 2021
Aportado por: Revistas de la UNCArtículo revista -
9por Gómez-Penedo, Juan Martín, Areas, Malenka Alejandra, Manubens, Rocío, Babl, Anna Margarete, Challú, Laura, Juan, Santiago, Muiños, Roberto, Fernández-Álvarez, Javier, Alalú, Nicolás, Roussos, Andrés, Lutz, Wolfgang, Martin grosse-Holtforth, Martin grosse-HoltforthMaterias: “...Hopkins Symptom Check-Lists Argentine version...”
Publicado 2021
Aportado por: Revistas de la UNCArtículo revista -
10por Bordenabe, Nicolas EmilioMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
11por Bordenabe, Nicolas EmilioMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
12por Bas, Francisco JunyentMaterias: “...workers check-up...”
Publicado 2012
Aportado por: Revistas de la UNCArtículo revista -
13por Bas, Francisco JunyentMaterias: “...workers check-up...”
Publicado 2012
Aportado por: Revistas de la UNCArtículo revista -
14por Kilmurray, Cecilia NoeliaMaterias: “...Verification by model checking...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
15por Kilmurray, Cecilia NoeliaMaterias: “...Verification by model checking...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
16por Zandarin, Nicolás HugoMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
17por Marenchino, Matías L.Materias: “...Model Checking Probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
18por Marenchino, Matías LeandroMaterias: “...Model checking probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
19por Acosta, Araceli NataliaMaterias: “...Model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
20por Budde, Carlos E., D'Argenio, Pedro Ruben, Monti, Raúl Enrique, Stoelinga, MariëlleMaterias: “...Statistical model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article