Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser. On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. In 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019. pages 413-418, IEEE, 2019. [doi]
@inproceedings{ChaUWBLV19, title = {On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems}, author = {Suhyun Cha and Mattias Ulbrich and Alexander Weigl and Bernhard Beckert and Kathrin Land and Birgit Vogel-Heuser}, year = {2019}, doi = {10.1109/INDIN41052.2019.8972210}, url = {https://doi.org/10.1109/INDIN41052.2019.8972210}, researchr = {https://researchr.org/publication/ChaUWBLV19}, cites = {0}, citedby = {0}, pages = {413-418}, booktitle = {17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019}, publisher = {IEEE}, isbn = {978-1-7281-2927-3}, }