Formal Verification of Software for the Contiki Operating System Considering Interrupts

Export metadata

Additional Services

Search Google Scholar
Metadaten
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
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.