Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Verification of software for C...
  • Beschreibung

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

Titel:
Verification of software for Contiki-based low-power embedded systems using software model checking / Thilo Vörtler ; Gutachter: Petra Hofstedt, Heinrich Theodor Vierhaus
Beteiligt:
Vörtler, Thilo (Verfasser); Hofstedt, Petra (Gutachter); Vierhaus, Heinrich Theodor (Gutachter)
Veröffent­licht:
Cottbus : BTU Cottbus - Senftenberg, 2018
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Cottbus, BTU Cottbus - Senftenberg, 2017
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen