Verification of software for Contiki-based low-power embedded systems using software model checking
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 |