Formal Verification of Software for the Contiki Operating System Considering Interrupts
Author: | Thilo Vörtler, Benny Höckner, Petra HofstedtGND, Thomas Klotz |
---|---|
DOI: | https://doi.org/10.1109/DDECS.2015.59 |
ISBN: | 978-1-4799-6780-3 |
Title of the source (English): | 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015 |
Publisher: | IEEE |
Place of publication: | Piscataway, NJ |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2015 |
First Page: | 295 |
Last Page: | 298 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |