@inproceedings{DBLP:conf/indin/ChaUWBLV19,
author = {['Suhyun Cha', 'Mattias Ulbrich', 'Alexander Weigl', 'Bernhard Beckert', 'Kathrin Land', 'Birgit Vogel-Heuser']},
title = {On the Preservation of the Trust by Regression Verification of PLC
software for Cyber-Physical Systems of Systems},
booktitle = {17th IEEE International Conference on Industrial Informatics, INDIN
2019, Helsinki, Finland, July 22-25, 2019},
pages = {413–418},
year = {2019},
crossref = {DBLP:conf/indin/2019},
url = {https://doi.org/10.1109/INDIN41052.2019.8972210},
doi = {10.1109/INDIN41052.2019.8972210},
timestamp = {Tue, 04 Feb 2020 12:39:37 +0100},
biburl = {https://dblp.org/rec/conf/indin/ChaUWBLV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}