Construction and verification of PLC LD programs by the LTL specification
Crossref DOI link: https://doi.org/10.3103/S014641161407013X
Published Online: 2015-02-01
Published Print: 2014-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kuzmin, E. V.
Sokolov, V. A.
Ryabukhin, D. A.
Text and Data Mining valid from 2014-12-01
Version of Record valid from 2014-12-01
Article History
Received: 28 October 2013
First Online: 1 February 2015