Industrial and Intellectual Property
-
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