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)
Conference Presentation

In: Aerospace Europe Conference 2021 Warsav 2021-11-23 - 2021-11-26
Page(s)/Article-Nr.: [1]-9

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 3 (Software Engineering) [121510]