• search hit 53 of 125
Back to Result List

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.