[Back]

@inproceedings{kandl15:95[TUW-237579],
    author = {Kandl, Susanne and others},
    title = {Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262},
    booktitle = {Engineering Systems for Safety: Proceedings of the Twenty-third Safety-critical Systems Symposium},
    year = {2015},
    editor = {Parson, Mike and Anderson, Tom},
    pages = {95--115},
    isbn = {978-1505689082},
    note = {talk: Safety-critical Systems Symposium (SSS 2015), Bristol, UK; 2015-02-03 -- 2015-02-05}
}
@comment { WARNING: In the original publication record, the list of names in the field 'author' contains the addition 'et al.'! }