Tesis

  • Obtención automática del entorno en la verificación modular de sistemas reactivos [2003]

    Categoría:
    Tesis
    Autores:
    Claudio A. de la Riva Álvarez
    Directores:
    Pablo Javier Tuya González
    Departamento:
    Informática, Departamento de
    Fecha:
    01 de Enero de 2003