TY - CONF 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 - 2016 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/16215 SN - 978-3-00-048889-4 SP - 20 EP - 29 PB - Technische Universität CY - Chemnitz ER -