Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Thilo Vörtler, Benny Höckner, Petra HofstedtGND, Thomas Klotz
ISBN:978-3-00-048889-4
Title of the source (German):Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. März 2015
Publisher:Technische Universität
Place of publication:Chemnitz
Document Type:Conference Proceeding
Language:German
Year of publication:2015
First Page:20
Last Page:29
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.