Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible? (bibtex)
by Stefan Kriebel, Deni Raco, Bernhard Rumpe, Sebastian Stüber
Reference:
S. Kriebel, D. Raco, B. Rumpe, and S. Stüber. Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?, In: 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, editors, Proceedings of the Workshops of the Software Engineering Conference. Workshop on Avionics Systems and Software Engineering (AvioSE'19), CEUR Workshop Proceedings 2308, pages 87-94, February, 2019, CEUR Workshop Proceedings.
Bibtex Entry:
@inproceedings{KRRS19,
    key = {KRRS19},
    author = {Kriebel, Stefan and Raco, Deni and Rumpe, Bernhard and St{\"{u}}ber, Sebastian},
    title = {{Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?}},
    editor = {Krusche, Stephan and Kurt Schneider and Marco Kuhrmann and Robert Heinrich and Reiner Jung and Marco Konersmann and Eric Schmieders and Steffen Helke and Ina Schaefer and Andreas Vogelsang and Bj{\"o}rn Annigh{\"o}fer and Andreas Schweiger and Marina Reich and Andr{\'e} van Hoorn},
    booktitle = {Proceedings of the Workshops of the Software Engineering Conference. Workshop on Avionics Systems and Software Engineering (AvioSE'19)},
    year = {2019},
    month = {February},
    location = {Stuttgart, Germany},
    publisher = {CEUR Workshop Proceedings},
    url = {http://www.se-rwth.de/publications/Model-Based-Engineering-for-Avionics-Will-Specification-and-Formal-Verification-Based-on-Broys-Streams-Become-Feasible.pdf},
    pages = {87--94},
    series = {{CEUR} Workshop Proceedings},	
    volume    = {2308}
}
Powered by bibtexbrowser