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 proceedingConference contribution

Original languageEnglish
Title of host publicationInternational Workshop on Dependable Embedded Systems
Publisher.
Pages?-?
Publication statusPublished - 2006
EventInternational Workshop on Dependable Embedded Systems - Leeds, United Kingdom
Duration: 1 Oct 20061 Oct 2006

Conference

ConferenceInternational Workshop on Dependable Embedded Systems
CountryUnited Kingdom
CityLeeds
Period1/10/061/10/06

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)

Cite this