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.
Cadena de Markov de tiempo discreto
2
Contraejemplos
2
Lógica LTL
2
PRISM
2
Contraejemplos tipo-Frankfurt
1
David Widerker
1
Filosofía
1
Model Checking Probabilista
1
Model checking probabilista
1
Principio de expectativas alternativas
1
Principio de posibilidades alternativas
1
Proceso de Decisión de Markov
1
Proceso de decisión de Markov
1
Software Program Verification
1
Software. Program Verification
1
responsabilidad moral
1
-
1por Carlos G. Patarroyo G.Materias: “...Contraejemplos tipo-Frankfurt...”
Publicado 2013
Artículo científico -
2por Marenchino, Matías L.Materias: “...Contraejemplos...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3por Marenchino, Matías LeandroMaterias: “...Contraejemplos...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis