BibTeX record conf/ddecs/VortlerHHK15

• > Home > conf/ddecs/VortlerHHK15

@inproceedings{DBLP:conf/ddecs/VortlerHHK15,
  author       = {Thilo V{\"{o}}rtler and
                  Benny H{\"{o}}ckner and
                  Petra Hofstedt and
                  Thomas Klotz},
  editor       = {Zoran Stamenkovic and
                  Witold A. Pleskacz and
                  Jaan Raik and
                  Heinrich Theodor Vierhaus},
  title        = {Formal Verification of Software for the Contiki Operating System Considering
                  Interrupts},
  booktitle    = {18th {IEEE} International Symposium on Design and Diagnostics of Electronic
                  Circuits {\&} Systems, {DDECS} 2015, Belgrade, Serbia, April 22-24,
                  2015},
  pages        = {295--298},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/DDECS.2015.59},
  doi          = {10.1109/DDECS.2015.59},
  timestamp    = {Fri, 24 Mar 2023 00:04:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ddecs/VortlerHHK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}