- Title:
Deriving fault-detection mechanisms from safety requirements
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Sojer, Dominik; Buckl, Christian; Knoll, Alois
- Journal title:
- Computer Science - Research and Development
- Year:
- 2011
- Journal volume:
- 30
- Journal issue:
- 1
- Pages contribution:
- 21-34
- Fulltext / DOI:
- doi:10.1007/s00450-011-0203-z
- Publisher:
- Springer Science and Business Media LLC
- E-ISSN:
- 1865-20341865-2042
- Date of publication:
- 24.11.2011
- BibTeX