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