Construction and verification of PLC LD programs by the LTL...

Automatic Control and Computer Sciences 2014 / 12 Vol. 48; Iss. 7

Construction and verification of PLC LD programs by the LTL specification

Kuzmin, E. V., Sokolov, V. A., Ryabukhin, D. A.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
48
Language:
english
Journal:
Automatic Control and Computer Sciences
DOI:
10.3103/S014641161407013X
Date:
December, 2014
File:
PDF, 1.07 MB
english, 2014
Conversion to is in progress
Conversion to is failed