Proving equivalence between control software variants for Programmable Logic Controllers

Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert. Proving equivalence between control software variants for Programmable Logic Controllers. In 20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, Luxembourg, September 8-11, 2015. pages 1-5, IEEE, 2015. [doi]

Authors

Sebastian Ulewicz

This author has not been identified. Look up 'Sebastian Ulewicz' in Google

Birgit Vogel-Heuser

This author has not been identified. Look up 'Birgit Vogel-Heuser' in Google

Mattias Ulbrich

This author has not been identified. Look up 'Mattias Ulbrich' in Google

Alexander Weigl

This author has not been identified. Look up 'Alexander Weigl' in Google

Bernhard Beckert

This author has not been identified. Look up 'Bernhard Beckert' in Google