Modeling and Safety-Certification of Model-based Development Processes

Oscar Slotosch, Mohammad Abu-Alqumsan. Modeling and Safety-Certification of Model-based Development Processes. In Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl, editors, Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany. Volume P-280 of LNI, pages 261-273, Gesellschaft für Informatik e.V., 2018. [doi]

Abstract

Abstract is missing.