Model-Based Development and Logical AI for Secure and Safe Avionics Systems: A Verification Framework for SysML Behavior Specifications

Kausch, Hendrik; Michael, Judith; Pfeiffer, Mathias; Raco, Deni; Rumpe, Bernhard; Schweiger, Andreas

(2021)
Konferenzbeitrag

In: Aerospace Europe Conference 2021 Warsav 2021-11-23 - 2021-11-26
Seite(n)/Artikel-Nr.: [1]-9

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 3 (Software Engineering) [121510]