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

Conference Presentation

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


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