Mostrando 1 - 2 Resultados de 2 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
Avanzado
Restablecer filtros
Materias: Contraejemplos
Restablecer filtros
Mostrar filtros (1)
Materias: Contraejemplos
  • Resultados de búsqueda
Tipo de registro dentro de su búsqueda. Tipo de registro dentro de su búsqueda.
Repositorios 2
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
Cadena de Markov de tiempo discreto 2 Contraejemplos Lógica LTL 2 PRISM 2 Model Checking Probabilista 1 Model checking probabilista 1 Proceso de Decisión de Markov 1 Proceso de decisión de Markov 1 Software Program Verification 1 Software. Program Verification 1
Mostrando 1 - 2 Resultados de 2 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
    por Marenchino, Matías L.
    Publicado 2011
    Aportado por: Repositorio Digital Universitario (UNC)
    Enlace del recurso
    bachelorThesis
  2. 2
    Implementación de técnicas de derivación de contraejemplos en el model checker PRISM
    por Marenchino, Matías Leandro
    Publicado 2011
    Aportado por: Repositorio Digital Universitario (UNC)
    Enlace del recurso
    bachelorThesis
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Refine su búsqueda

Universidad Nacional de Córdoba 2
Repositorio Digital Universitario (UNC) 2
Tesis de grado 2
D'Argenio, Pedro R. 1 D'Argenio, Pedro Ruben 1 Marenchino, Matías L. 1 Marenchino, Matías Leandro 1
Español 2

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...