h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Kausch, Hendrik
AU  - Pfeiffer, Mathias
AU  - Raco, Deni
AU  - Rumpe, Bernhard
TI  - Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams
VL  - 2814
CY  - Aachen, Germany
PB  - RWTH Aachen
M1  - RWTH-2021-05459
T2  - CEUR workshop proceedings
SP  - 1-22
PY  - 2021
T2  - 3. Workshop on Avionics Systems and Software Engineering
CY  - 22 Feb 2021 - 26 Feb 2021, online ()
Y2  - 22 Feb 2021 - 26 Feb 2021
M2  - online, 
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
DO  - DOI:10.18154/RWTH-2021-05459
UR  - https://publications.rwth-aachen.de/record/820146
ER  -