Bishop, P. G. and Bloomfield, R. E. (1998). A Methodology for Safety Case Development. In: Redmill, F. and Anderson, T. (Eds.), Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998. . London, UK: Springer. ISBN 3540761896
Publication Type: | Book Section |
---|---|
Subjects: | Q Science > QA Mathematics > QA76 Computer software |
Departments: | School of Mathematics, Computer Science & Engineering > Computer Science > Software Reliability |
URI: | http://openaccess.city.ac.uk/id/eprint/549 |
Actions (login required)
![]() |
Admin Login |