BibTeX record conf/mbees/BlessingH12

download as .bib file

@inproceedings{DBLP:conf/mbees/BlessingH12,
  author       = {Sara Blessing and
                  Michaela Huhn},
  editor       = {Holger Giese and
                  Michaela Huhn and
                  Jan Phillips and
                  Bernhard Sch{\"{a}}tz},
  title        = {Formal Safety Analysis and Verification in the Model Driven Development
                  of a Pacemaker Product Line},
  booktitle    = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
                  Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte
                  Entwicklung eingebetteter Systeme},
  pages        = {133--144},
  publisher    = {fortiss GmbH, M{\"{u}}nchen},
  year         = {2012},
  timestamp    = {Thu, 12 Mar 2020 11:39:37 +0100},
  biburl       = {https://dblp.org/rec/conf/mbees/BlessingH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.