Mostrando 1 - 2 Resultados de 2 Para Buscar '"Partial verification"' Saltar al contenido
BDU3
  • Inicio
Avanzado
  • Resultados de búsqueda - "Partial verification"
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
Estimation 2 Mean time to first failure 2 Model checking 2 Partial verification 2 Probabilistic model checking 2 Probability 2 Quantitative measures 2 Quantitativemodelling 2 Reliability estimation 2 Statistical model checking 2 Systematic exploration 2 Turnaround time 2
Mostrando 1 - 2 Resultados de 2 Para Buscar '"Partial verification"', tiempo de consulta: 0.39s Limitar resultados
  1. 1
    Less is more: Estimating probabilistic rewards over partial system explorations
    Publicado 2016
    Materias: “...Partial verification...”
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Enlace del recurso
  2. 2
    Less is more: Estimating probabilistic rewards over partial system explorations
    por Pavese, E., Braberman, V., Uchitel, S.
    Materias: “...Partial verification...”
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    JOUR
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Refine su búsqueda

Universidad de Buenos Aires 2
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) 2
JOUR 1
Braberman, V. 1 Pavese, E. 1 Uchitel, S. 1

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...