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]

@inproceedings{UlewiczVUWB15,
  title = {Proving equivalence between control software variants for Programmable Logic Controllers},
  author = {Sebastian Ulewicz and Birgit Vogel-Heuser and Mattias Ulbrich and Alexander Weigl and Bernhard Beckert},
  year = {2015},
  doi = {10.1109/ETFA.2015.7301603},
  url = {http://dx.doi.org/10.1109/ETFA.2015.7301603},
  researchr = {https://researchr.org/publication/UlewiczVUWB15},
  cites = {0},
  citedby = {0},
  pages = {1-5},
  booktitle = {20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, Luxembourg, September 8-11, 2015},
  publisher = {IEEE},
  isbn = {978-1-4673-7929-8},
}