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]
@inproceedings{YounisF04:1, title = {Formalization of PLC programs to sustain reliability}, author = {Mohammed Bani Younis and Georg Frey}, year = {2004}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=30961&arnumber=1437989&count=104&index=1}, tags = {reliability}, researchr = {https://researchr.org/publication/YounisF04%3A1}, cites = {0}, citedby = {0}, pages = {613-618}, booktitle = {2004 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2004, December 1-3, 2004, Singapore}, publisher = {IEEE}, }