Daniel Hillen, Tom P. Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser, Andreas Schmidt, Daniel Schneider 0001, Denis Uecker. Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0. In Christel Seguin, Marc Zeller, Tatiana Prosvirnova, editors, Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings. Volume 13525 of Lecture Notes in Computer Science, pages 83-97, Springer, 2022. [doi]
Abstract is missing.