On the expressiveness of the approach to constructing PLC-programs by LTL-specification
Crossref DOI link: https://doi.org/10.3103/S0146411616070130
Published Online: 2017-01-22
Published Print: 2016-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kuzmin, E. V.
Ryabukhin, D. A.
Sokolov, V. A.
License valid from 2016-12-01