Formale Verifikation von Contiki-Anwendungen

Export metadata

Additional Services

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