Transforming PLC programs into formal models for verification purposes
Cím | Transforming PLC programs into formal models for verification purposes |
Közlemény típusa | Report |
Kiadás éve | 2013 |
Szerzők | Darvas, D., Fernández Adiego, B., and Blanco Viñuela, E. |
Document Number | CERN-ACC-NOTE-2013-0040 |
Intézmény | CERN |
Típus | Internal Note |
URL | http://cds.cern.ch/record/1629275/files/CERN-ACC-NOTE-2013-0040.pdf |