Mohammed Bani Younis, Georg Frey. A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application. In Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic. pages 1340-1347, IEEE, 2006. [doi]
Abstract is missing.