• search hit 5 of 68
Back to Result List

Bounded Model Checking of Contiki Applications

Export metadata

Additional Services

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