Vol-2307⫷ Vol-2308 ⫸Vol-2309
urn:nbn:de:0074-2308-0


Vol-2308/aviose2019paper05⫷Vol-2308/aviose2019paper06⫸Vol-2308/emls2019intro
Stefan KriebelDeni RacoBernhard RumpeSebastian Stüber

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