MontiBelle - Toolbox for a Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety

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

American Institute of Aeronautics and Astronautics Reston, Virginia (2020)
Buchbeitrag, Beitrag zu einem Tagungsband

In: AIAA Scitech 2020 Forum : [Proceedings]
Seite(n)/Artikel-Nr.: 0671