• search hit 2 of 7
Back to Result List

Verification of software for Contiki-based low-power embedded systems using software model checking

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Thilo Vörtler
URN:urn:nbn:de:kobv:co1-opus4-44080
Document Type:Doctoral thesis
Language:English
Year of publication:2018
Number of pages:165
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.