Industrial and Intellectual Property
-
Bringing automated model checking to plc program development - A CERN case study [2014]
- Category:
- Ponencias
- Authors:
- Víctor Manuel González Suárez , Enrique Blanco Viñuela , Jean Charles Tournier , Daniel Darvas , Borja Fernández Adiego
- Date:
- 01 of January of 2014
- It Is a Part of:
- IFAC Proceedings Volumes, 47(2)