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

zu Verbundenen Objekten

Weitere Titel
Verifikation von Anwendungen für Contiki basierende low-power eingebettete Systeme mit Hilfe von Software Model Checking
Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Cottbus, BTU Cottbus - Senftenberg, Dissertation, 2017

Schlagwort
Eingebettetes System
Interrupt
Bounded Model Checking
Software

Ereignis
Veröffentlichung
(wo)
Cottbus
(wer)
BTU Cottbus - Senftenberg
(wann)
2018
Urheber
Vörtler, Thilo
Beteiligte Personen und Organisationen
Hofstedt, Petra
Vierhaus, Heinrich Theodor

URN
urn:nbn:de:kobv:co1-opus4-44080
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:51 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Vörtler, Thilo
  • Hofstedt, Petra
  • Vierhaus, Heinrich Theodor
  • BTU Cottbus - Senftenberg

Entstanden

  • 2018

Ähnliche Objekte (12)

SPIN model checking and software verification ; proceedings

Konferenzschrift | Kongress

SPIN model checking and software verification ; proceedings

Incremental bounded model checking for embedded software

Incremental bounded model checking for embedded software

Optimized hybrid verification of embedded software

Hochschulschrift

Optimized hybrid verification of embedded software

Formal Verification of Concurrent Embedded Software

Hochschulschrift

Formal Verification of Concurrent Embedded Software

Formal Verification of Concurrent Embedded Software

Hochschulschrift

Formal Verification of Concurrent Embedded Software

Verification of temporal properties in embedded software

Hochschulschrift

Verification of temporal properties in embedded software

Systems and software verification : model checking techniques and tools

Systems and software verification : model checking techniques and tools

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Model checking software : proceedings

Konferenzschrift | Kongress

Model checking software : proceedings

Verbundene Objekte