Resultados de la búsqueda
-
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