An overview of model checking practices on verification of PLC software
Ovatman, Tolga, Aral, Atakan, Polat, Davut, Ünver, Ali OsmanVolume:
15
Language:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-014-0448-7
Date:
October, 2016
File:
PDF, 1.06 MB
english, 2016