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]

Abstract

Abstract is missing.