An overview of model checking practices on verification of PLC software
Crossref DOI link: https://doi.org/10.1007/s10270-014-0448-7
Published Online: 2014-12-25
Published Print: 2016-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ovatman, Tolga
Aral, Atakan
Polat, Davut
Ünver, Ali Osman
Text and Data Mining valid from 2014-12-25