Modeling, specification and construction of PLC-programs

E. V. Kuzmin, Valery A. Sokolov. Modeling, specification and construction of PLC-programs. Automatic Control and Computer Sciences, 48(7):554-563, 2014. [doi]

Abstract

Abstract is missing.