BibTeX record conf/mbmv/VortlerHHK15

• > Home > conf/mbmv/VortlerHHK15

@inproceedings{DBLP:conf/mbmv/VortlerHHK15,
  author       = {Thilo V{\"{o}}rtler and
                  Benny H{\"{o}}ckner and
                  Petra Hofstedt and
                  Thomas Klotz},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Formale Verifikation von eingebetteter Software f{\"{u}}r das
                  Betriebssystem Contiki unter Ber{\"{u}}cksichtigung von Interrupts},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {20--29},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Sat, 17 Jul 2021 09:02:10 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/VortlerHHK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}