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

(2019) [Beitrag zu einem Tagungsband]

[Software Engineering (SE) und Software Management (SWM), SE SWM, 2019-02-18 - 2019-02-22, Stuttgart, Germany]
Seite(n): 87-94

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Kriebel, Stefan
Raco, deni
Rumpe, Bernhard

Identifikationsnummern

  • REPORT NUMBER: RWTH-2019-02772