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]

Authors

Mohammed Bani Younis

This author has not been identified. Look up 'Mohammed Bani Younis' in Google

Georg Frey

This author has not been identified. Look up 'Georg Frey' in Google