A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.

Mohammed Bani Younis, Georg Frey

Browse the full ETFA paper archive.