Search Results

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

    Category:
    Tesis
    Authors:
    Pablo Javier Tuya González
    Directors:
    José Antonio Corrales González
    Departament:
    Ingeniería Eléctrica, Electrónica, de Computadores y Sistemas, Departamento de
    Date:
    01 of January of 1995