Industrial and Intellectual Property
-
Bringing automated formal verification to PLC program development [2014]
- Category:
- Tesis
- Authors:
- Borja Fernández Adiego
- Directors:
- Enrique Blanco Viñuela , Víctor Manuel González Suárez
- Departament:
- Ingeniería Eléctrica, Electrónica, de Computadores y Sistemas, Departamento de
- Date:
- 12 of December of 2014