Verification of platform-independent and platform-specific semantics of dependable embedded systems

Gordon Fraser, Susanne Kandl, Raimund Kirner

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelInternational Workshop on Dependable Embedded Systems
Herausgeber (Verlag).
Seiten?-?
PublikationsstatusVeröffentlicht - 2006
VeranstaltungInternational Workshop on Dependable Embedded Systems - Leeds, Großbritannien / Vereinigtes Königreich
Dauer: 1 Okt. 20061 Okt. 2006

Konferenz

KonferenzInternational Workshop on Dependable Embedded Systems
Land/GebietGroßbritannien / Vereinigtes Königreich
OrtLeeds
Zeitraum1/10/061/10/06

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Dieses zitieren