On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems.

Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser

Browse the full INDIN paper archive.