TY - CHAP A1 - Vörtler, Thilo A1 - Klotz, Thomas A1 - Fordran, Eva A1 - Hofstedt, Petra T1 - Formale Verifikation von Contiki-Anwendungen T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 21.-23.2.2011 in Oldenburg, Tagungsband Y1 - 2011 SN - 978-3-00-033820-5 PB - OFFIS CY - Oldenburg ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. März 2015 Y1 - 2015 SN - 978-3-00-048889-4 SP - 20 EP - 29 PB - Technische Universität CY - Chemnitz ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formal Verification of Software for the Contiki Operating System Considering Interrupts T2 - 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015 Y1 - 2015 SN - 978-1-4799-6780-3 U6 - https://doi.org/10.1109/DDECS.2015.59 SP - 295 EP - 298 PB - IEEE CY - Piscataway, NJ ER -