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

Filter
Abgeschlossen

Suchergebnisse