Deriving fault-detection mechanisms from safety requirements

Dominik Sojer, Christian Buckl, Alois Knoll. Deriving fault-detection mechanisms from safety requirements. Inform., Forsch. Entwickl., 30(1):21-34, 2015. [doi]

@article{SojerBK15,
  title = {Deriving fault-detection mechanisms from safety requirements},
  author = {Dominik Sojer and Christian Buckl and Alois Knoll},
  year = {2015},
  doi = {10.1007/s00450-011-0203-z},
  url = {http://dx.doi.org/10.1007/s00450-011-0203-z},
  researchr = {https://researchr.org/publication/SojerBK15},
  cites = {0},
  citedby = {0},
  journal = {Inform., Forsch. Entwickl.},
  volume = {30},
  number = {1},
  pages = {21-34},
}