Correct and Sustainable Development Using Model-based Engineering and Formal Methods

Kausch, Hendrik (Corresponding author); Pfeiffer, Mathias (Corresponding author); Raco, Deni (Corresponding author); Rumpe, Bernhard (Corresponding author); Schweiger, Andreas (Corresponding author)

Piscataway, NJ, USA : IEEE (2022)
Contribution to a book, Contribution to a conference proceedings

In: DASC: 41st Digital Avionics Systems Conference : Portsmouth, VA, USA, September 18-22, 2022 : DASC 2022 conference proceedings / sponsors and organizers: DATC (Digital Avionics Techncial Commitee), AIAA (American Institute of Aeronautics and Astronautics), AESS (IEEE Aerospace and Electronic Systems Society), IEEE (Institute of Electrical and Electronics Engineers)
Page(s)/Article-Nr.: 8 Seiten


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