Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts
Author: | Thilo Vörtler, Benny Höckner, Petra HofstedtGND, Thomas Klotz |
---|---|
ISBN: | 978-3-00-048889-4 |
Title of the source (German): | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. März 2015 |
Publisher: | Technische Universität |
Place of publication: | Chemnitz |
Document Type: | Conference Proceeding |
Language: | German |
Year of publication: | 2015 |
First Page: | 20 |
Last Page: | 29 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |