Transforming PLC programs into formal models for verification purposes

CímTransforming PLC programs into formal models for verification purposes
Közlemény típusaReport
Kiadás éve2013
SzerzőkDarvas, D., Fernández Adiego, B., and Blanco Viñuela, E.
Document NumberCERN-ACC-NOTE-2013-0040
IntézményCERN
TípusInternal Note
URLhttp://cds.cern.ch/record/1629275/files/CERN-ACC-NOTE-2013-0040.pdf