Bounded Model Checking of Contiki Applications
Author: | Thilo Vörtler, Steffen Rülke, Petra HofstedtGND |
---|---|
ISBN: | 978-1-4673-1187-8 |
Title of the source (English): | 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012 |
Publisher: | IEEE |
Place of publication: | Piscataway, NJ |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2012 |
First Page: | 258 |
Last Page: | 261 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Programmiersprachen und Compilerbau |