*Result*: Verification of software for Contiki-based low-power embedded systems using software model checking
*Title*:
Verification of software for Contiki-based low-power embedded systems using software model checking / Thilo Vörtler ; Gutachter: Petra Hofstedt, Heinrich Theodor Vierhaus
*Author/editor-in-chief*:
*Publication*:
Cottbus : BTU Cottbus - Senftenberg, 2018
*Physical description scale*:
Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, Cottbus, BTU Cottbus - Senftenberg, 2017
*Subject Added Keywords*: