On the preservation of the trust by regression verification of PLC software for cyber-physical systems of systems

@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}
}