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

Gordon Fraser, Susanne Kandl, Raimund Kirner

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Search results