Showing 1 - 7 results of 7 for search 'Aguirre, Nazareno Matías', query time: 0.02s Refine Results
  1. 1
    Mutación de expresiones de navegación para testing y reparación
    by Gutiérrez Brida, Simón Emmanuel
    Published 2018-11
    Other Authors: “...Aguirre, Nazareno Matías...”
    info:eu-repo/semantics/publishedVersion biblioteca
    UNC AR


    Saved in:

  2. 2
    Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
    by Degiovanni, Renzo Gastón
    Published 2015-05
    Other Authors: “...Aguirre, Nazareno Matías...”
    doctoralThesis biblioteca
    UNC AR


    Saved in:

  3. 3
    Mejoras al testing exhaustivo acotado
    by Bengolea, Valeria Susana
    Published 2015-03
    Other Authors: “...Aguirre, Nazareno Matías...”
    doctoralThesis biblioteca
    UNC AR


    Saved in:

  4. 4
    Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT
    Other Authors: “...Aguirre, Nazareno Matías...”
    info:eu-repo/semantics/doctoralThesis biblioteca
    UBA


    Saved in:


  5. 5
    Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
    by Acosta, Araceli Natalia
    Published 2022-09
    Other Authors: “...Aguirre, Nazareno Matías...”
    Fil: Fil: Acosta, Araceli Natalia. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. biblioteca
    UNC AR


    Saved in:

  6. 6
    Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
    by Molina, Facundo Joaquín
    Published 2022-02
    Other Authors: “...Aguirre, Nazareno Matías...”
    Fil: Fil: Molina, Facundo Joaquín. Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación; Argentina. biblioteca
    UNC AR


    Saved in:

  7. 7
    Especificación formal y verificación de propiedades temporales de procesos de negocios
    Other Authors: “...Aguirre, Nazareno Matías...”
    info:eu-repo/semantics/doctoralThesis biblioteca
    UBA


    Saved in:


Search Tools: Get RSS Feed — Email this Search