Transforming PLC programs into formal models for verification purposes
| Title | Transforming PLC programs into formal models for verification purposes |
| Publication Type | Report |
| Year of Publication | 2013 |
| Authors | Darvas, D., Fernández Adiego, B., and Blanco Viñuela, E. |
| Document Number | CERN-ACC-NOTE-2013-0040 |
| Institution | CERN |
| Type | Internal Note |
| URL | http://cds.cern.ch/record/1629275/files/CERN-ACC-NOTE-2013-0040.pdf |
