David Santiago Velasco Moncada, Daniel Schneider 0001, Ana Petrovska, Nishanth Laxman, Felix Möhrle, Stefan Rothbauer, Marc Zeller, Chee Hung Koo, Samira Safdari. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime. In Wolfgang Böhm 0002, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck, editors, Model-Based Engineering of Collaborative Embedded Systems. pages 171-196, Springer, 2021. [doi]
Abstract is missing.