Formale Verifikation von Contiki-Anwendungen
Author: | Thilo Vörtler, Thomas Klotz, Eva Fordran, Petra HofstedtGND |
---|---|
ISBN: | 978-3-00-033820-5 |
Title of the source (German): | Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 21.-23.2.2011 in Oldenburg, Tagungsband |
Publisher: | OFFIS |
Place of publication: | Oldenburg |
Document Type: | Conference Proceeding |
Language: | German |
Year of publication: | 2011 |
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 |