Resultados de la búsqueda
-
Bringing automated formal verification to PLC program development [2014]
- Categoría:
- Tesis
- Autores:
- Borja Fernández Adiego
- Directores:
- Enrique Blanco Viñuela , Víctor Manuel González Suárez
- Departamento:
- Ingeniería Eléctrica, Electrónica, de Computadores y Sistemas, Departamento de
- Fecha:
- 12 de Diciembre de 2014