Tesis

  • Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal [1995]

    Categoría:
    Tesis
    Autores:
    Pablo Javier Tuya González
    Directores:
    José Antonio Corrales González
    Departamento:
    Ingeniería Eléctrica, Electrónica, de Computadores y Sistemas, Departamento de
    Fecha:
    01 de Enero de 1995