BibTeX record conf/se/KriebelRRS19

• > Home > conf/se/KriebelRRS19

@inproceedings{DBLP:conf/se/KriebelRRS19,
  author       = {Stefan Kriebel and
                  Deni Raco and
                  Bernhard Rumpe and
                  Sebastian St{\"{u}}ber},
  editor       = {Stephan Krusche 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},
  title        = {Model-Based Engineering for Avionics: Will Specification and Formal
                  Verification e.g. Based on Broy's Streams Become Feasible?},
  booktitle    = {Proceedings of the Workshops of the Software Engineering Conference
                  2019, Stuttgart, Germany, February 19, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2308},
  pages        = {87--94},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2308/aviose2019paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:19 +0100},
  biburl       = {https://dblp.org/rec/conf/se/KriebelRRS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}