Mostrando 1 - 3 Resultados de 3 Para Buscar '' Saltar al contenido
BDU3
  • Inicio
Avanzado
Restablecer filtros
Materias: PROGRAM ANALYSIS
Restablecer filtros
Mostrar filtros (1)
Materias: PROGRAM ANALYSIS
  • Resultados de búsqueda
Materias dentro de su búsqueda. Materias dentro de su búsqueda.
ANALISIS AUTOMATICO DE PROGRAMAS 3 COBERTURA 3 COVERAGE 3 FORMAL VERIFICATION 3 MODEL CHECKING 3 PROGRAM ANALYSIS VERIFICACION FORMAL 3
Mostrando 1 - 3 Resultados de 3 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Análisis de ejecuciones parciales de Software Model Checkers
    por Castaño, Rodrigo
    Publicado 2018
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Tesis Doctoral
  2. 2
    Análisis de ejecuciones parciales de Software Model Checkers
    por Castaño, Rodrigo
    Publicado 2018
    Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)
    Enlace del recurso
    Enlace del recurso
    Tesis doctoral publishedVersion
  3. 3
    Análisis de ejecuciones parciales de Software Model Checkers
    por Castaño, Rodrigo
    Publicado 2018
    Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
    Enlace del recurso
    Tesis doctoral publishedVersion
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Refine su búsqueda

Universidad de Buenos Aires 3
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) 2 Repositorio Digital de la Universidad de Buenos Aires (UBA) 1
Tesis doctoral 2 Tesis Doctoral 1
Castaño, Rodrigo 3 Braberman, Víctor A. 1 Braberman, Víctor Adrián 1
Inglés 3

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