[Back]

@inproceedings{kandl06:17[TUW-140222],
    author = {Kandl, Susanne and Kirner, Raimund and Fraser, Gordon},
    title = {Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems},
    booktitle = {3rd International Workshop on Dependable Embedded Systems, Proceedings},
    year = {2006},
    pages = {17--21},
    note = {talk: 3rd International Workshop on Dependable Embedded Systems, Leeds, UK; 2006-10-01}
}