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

作者：Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆ · 发表于：RWTH Publications (RWTH Aachen) · 年份：2021 · DOI：10.18154/rwth-2021-05459 · 被引用次数：4 · 研究领域：Safety Systems Engineering in Autonomy、Advanced Software Engineering Methodologies、Systems Engineering Methodologies and Applications