Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?
S. Kriebel, D. Raco, B. Rumpe, and S. Stüber. Proceedings of the Workshops of the Software Engineering Conference. Workshop on Avionics Systems and Software Engineering (AvioSE'19), volume 2308 of CEUR Workshop Proceedings, page 87--94. CEUR Workshop Proceedings, (February 2019)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 KRRS19
%A Kriebel, Stefan
%A Raco, Deni
%A Rumpe, Bernhard
%A Stüber, Sebastian
%B Proceedings of the Workshops of the Software Engineering Conference. Workshop on Avionics Systems and Software Engineering (AvioSE'19)
%D 2019
%E Krusche, Stephan
%E Schneider, Kurt
%E Kuhrmann, Marco
%E Heinrich, Robert
%E Jung, Reiner
%E Konersmann, Marco
%E Schmieders, Eric
%E Helke, Steffen
%E Schaefer, Ina
%E Vogelsang, Andreas
%E Annighöfer, Björn
%E Schweiger, Andreas
%E Reich, Marina
%E van Hoorn, André
%I CEUR Workshop Proceedings
%K imported rwthAachenSE
%P 87--94
%T Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?
%U http://www.se-rwth.de/publications/Model-Based-Engineering-for-Avionics-Will-Specification-and-Formal-Verification-Based-on-Broys-Streams-Become-Feasible.pdf
%V 2308
@inproceedings{KRRS19,
added-at = {2021-01-15T11:47:37.000+0100},
author = {Kriebel, Stefan and Raco, Deni and Rumpe, Bernhard and St{\"{u}}ber, Sebastian},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ecb8d45dd62f2277e48423a5919c892e/isw-bibliothek},
booktitle = {Proceedings of the Workshops of the Software Engineering Conference. Workshop on Avionics Systems and Software Engineering (AvioSE'19)},
editor = {Krusche, Stephan and Schneider, Kurt and Kuhrmann, Marco and Heinrich, Robert and Jung, Reiner and Konersmann, Marco and Schmieders, Eric and Helke, Steffen and Schaefer, Ina and Vogelsang, Andreas and Annigh{\"o}fer, Bj{\"o}rn and Schweiger, Andreas and Reich, Marina and van Hoorn, Andr{\'e}},
interhash = {017300858e8c0c96731c80ffde447517},
intrahash = {ecb8d45dd62f2277e48423a5919c892e},
key = {KRRS19},
keywords = {imported rwthAachenSE},
location = {Stuttgart, Germany},
month = {February},
pages = {87--94},
publisher = {CEUR Workshop Proceedings},
series = {{CEUR} Workshop Proceedings},
timestamp = {2021-01-15T10:47:37.000+0100},
title = {{Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?}},
url = {http://www.se-rwth.de/publications/Model-Based-Engineering-for-Avionics-Will-Specification-and-Formal-Verification-Based-on-Broys-Streams-Become-Feasible.pdf},
volume = 2308,
year = 2019
}