%0 Conference Paper %1 conf/ddecs/VortlerHHK15 %A Vörtler, Thilo %A Höckner, Benny %A Hofstedt, Petra %A Klotz, Thomas %B DDECS %D 2015 %E Stamenkovic, Zoran %E Pleskacz, Witold A. %E Raik, Jaan %E Vierhaus, Heinrich Theodor %I IEEE Computer Society %K %P 295-298 %T Formal Verification of Software for the Contiki Operating System Considering Interrupts. %U http://dblp.uni-trier.de/db/conf/ddecs/ddecs2015.html#VortlerHHK15 %@ 978-1-4799-6780-3

@inproceedings{conf/ddecs/VortlerHHK15, added-at = {2023-12-12T18:50:29.000+0100}, author = {Vörtler, Thilo and Höckner, Benny and Hofstedt, Petra and Klotz, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/24b61d73f933733cd7167665c5ac3cf85/admin}, booktitle = {DDECS}, crossref = {conf/ddecs/2015}, editor = {Stamenkovic, Zoran and Pleskacz, Witold A. and Raik, Jaan and Vierhaus, Heinrich Theodor}, ee = {http://doi.ieeecomputersociety.org/10.1109/DDECS.2015.59}, interhash = {1800427b9d90be1f9764a97c3166586f}, intrahash = {4b61d73f933733cd7167665c5ac3cf85}, isbn = {978-1-4799-6780-3}, keywords = {}, pages = {295-298}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:50:29.000+0100}, title = {Formal Verification of Software for the Contiki Operating System Considering Interrupts.}, url = {http://dblp.uni-trier.de/db/conf/ddecs/ddecs2015.html#VortlerHHK15}, year = 2015 }