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

American Institute of Aeronautics and Astronautics Reston, Virginia (2020) [Contribution to a book, Contribution to a conference proceedings]

AIAA Scitech 2020 Forum : [Proceedings]
Page(s): 0671

Authors

Authors

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

Identifier