Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams

Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard

Aachen, Germany : RWTH Aachen (2021)
Contribution to a book, Contribution to a conference proceedings

In: SE-SE 2021 : Software Engineering 2021 Satellite Events - Workshops and Tools & Demos : Braunschweig/Virtual, Germany, February 22 - 26, 2021 : Proceedings of the Software Engineering 2021 Satellite Events / Edited by Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann
Page(s)/Article-Nr.: 1-22