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

Original language	English
Title of host publication	International Workshop on Dependable Embedded Systems
Publisher	.
Pages	?-?
Publication status	Published - 2006
Event	International Workshop on Dependable Embedded Systems - Leeds, United Kingdom Duration: 1 Oct 2006 → 1 Oct 2006

Conference	International Workshop on Dependable Embedded Systems
Country/Territory	United Kingdom
City	Leeds
Period	1/10/06 → 1/10/06

Treatment code (Nähere Zuordnung)

@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 = ".",

note = "International Workshop on Dependable Embedded Systems ; Conference date: 01-10-2006 Through 01-10-2006",

}

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 paper

SP - ?-?

BT - International Workshop on Dependable Embedded Systems

PB - .

T2 - International Workshop on Dependable Embedded Systems

Y2 - 1 October 2006 through 1 October 2006

ER -