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 contributionResearchpeer-review

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

Fraser, G., Kandl, S., & Kirner, R. (2006). Verification of platform-independent and platform-specific semantics of dependable embedded systems. In International Workshop on Dependable Embedded Systems (pp. ?-?). ..

Verification of platform-independent and platform-specific semantics of dependable embedded systems. / Fraser, Gordon; Kandl, Susanne; Kirner, Raimund.

International Workshop on Dependable Embedded Systems. ., 2006. p. ?-?.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Fraser, G, Kandl, S & Kirner, R 2006, Verification of platform-independent and platform-specific semantics of dependable embedded systems. in International Workshop on Dependable Embedded Systems. ., pp. ?-?, International Workshop on Dependable Embedded Systems, Leeds, United Kingdom, 1/10/06.
Fraser G, Kandl S, Kirner R. Verification of platform-independent and platform-specific semantics of dependable embedded systems. In International Workshop on Dependable Embedded Systems. . 2006. p. ?-?
Fraser, Gordon ; Kandl, Susanne ; Kirner, Raimund. / Verification of platform-independent and platform-specific semantics of dependable embedded systems. International Workshop on Dependable Embedded Systems. ., 2006. pp. ?-?
@inproceedings{083db68f169348e6882539ac77c331ec,
title = "Verification of platform-independent and platform-specific semantics of dependable embedded systems",
author = "Gordon Fraser and Susanne Kandl and Raimund Kirner",
year = "2006",
language = "English",
pages = "?--?",
booktitle = "International Workshop on Dependable Embedded Systems",
publisher = ".",

}

TY - GEN

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

AU - Fraser, Gordon

AU - Kandl, Susanne

AU - Kirner, Raimund

PY - 2006

Y1 - 2006

M3 - Conference contribution

SP - ?-?

BT - International Workshop on Dependable Embedded Systems

PB - .

ER -