Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study

Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly. Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study. In Felix Redmill, Tom Anderson, editors, The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007. pages 133-146, Springer, 2007. [doi]

@inproceedings{FennHWK07,
  title = {Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study},
  author = {Jane Fenn and Richard Hawkins and Phil Williams and Tim Kelly},
  year = {2007},
  doi = {10.1007/978-1-84628-806-7_9},
  url = {http://dx.doi.org/10.1007/978-1-84628-806-7_9},
  researchr = {https://researchr.org/publication/FennHWK07},
  cites = {0},
  citedby = {0},
  pages = {133-146},
  booktitle = {The Safety of Systems - Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, February 13-15, 2007},
  editor = {Felix Redmill and Tom Anderson},
  publisher = {Springer},
  isbn = {978-1-84628-805-0},
}