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)
Contribution to a book, Contribution to a conference proceedings

In: AIAA Scitech 2020 Forum : [Proceedings]
Page(s)/Article-Nr.: 0671