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

(2019) [Contribution to a conference proceedings]

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

Authors

Selected Authors

Kriebel, Stefan
Raco, deni
Rumpe, Bernhard

Identifier

  • REPORT NUMBER: RWTH-2019-02772