Ponencias
-
Bringing automated model checking to plc program development - A CERN case study [2014]
- Categoría:
- Ponencias
- Autores:
- Víctor Manuel González Suárez , Enrique Blanco Viñuela , Jean Charles Tournier , Daniel Darvas , Borja Fernández Adiego
- Fecha:
- 01 de Enero de 2014
- Es parte de:
- IFAC Proceedings Volumes, 47(2)