Model-Based Engineering for Avionics : Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?

Aachen / RWTH Aachen (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

SEW 2019, Software Engineering workshops 2019 : proceedings of the workshops of the Software Engineering Conference 2019 : Stuttgart, Germany, February 19, 2019 / edited by Stephan Krusche, Kurt Schneider, Marco Kuhrmann, Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders, Steffen Helke, Ina Schaefer, Andreas Vogelsang, Björn Annighöfer, Andreas Schweiger, Marina Reich, André van Hoorn
Seite(n): 87-94

Autorinnen und Autoren

Autorinnen und Autoren

Kriebel, Stefan
Raco, Deni
Rumpe, Bernhard
Stüber, Sebastian Wolfram

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-02772