Hannes Stützer
Faculty of Computer Science (FIN)
Chair of Software & Systems Engineering (CSSE)
Chair of Software & Systems Engineering (CSSE)
2023
Book chapter
A formal verification framework for model checking safety requirements of a simulink landing gear case study
Gonschorek, Tim; Stützer, Hannes; Ortmeier, Frank; Wehmeier, Leon; Oppermann, Michael
In: European Conference on Safety and Reliability (ESREL), 3rd September - 7th September 2023, insges. 8 S. [Konferenz: 33rd European Safety and Reliability Conference (ESREL 2023), Southampton, UK, 3 - 8 September 2023]