Formalization of PLC programs to sustain reliability

Mohammed Bani Younis, Georg Frey. Formalization of PLC programs to sustain reliability. In 2004 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2004, December 1-3, 2004, Singapore. pages 613-618, IEEE, 2004. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: