{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:30:40Z","timestamp":1725499840042},"publisher-location":"London","reference-count":7,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781852339524"},{"type":"electronic","value":"9781846281303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-84628-130-x_12","type":"book-chapter","created":{"date-parts":[[2007,12,28]],"date-time":"2007-12-28T19:48:56Z","timestamp":1198871336000},"page":"183-192","source":"Crossref","is-referenced-by-count":0,"title":["Modular Certification of Integrated Modular Systems"],"prefix":"10.1007","author":[{"given":"James","family":"Blow","sequence":"first","affiliation":[]},{"given":"Andrew","family":"Cox","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Liddell","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Bate I., Bates S and Hawkins R. (2003). Safety Case Architectures to Complement a Contract Based Approach to Designing Safe Systems, Department of Computer Science, University of York, TN\/2003\/5, March 2003"},{"key":"12_CR2","first-page":"69","volume":"33","author":"P. Conmy","year":"2003","unstructured":"Conmy P, Nicholson M, and Mc Dermid J. (2003). Safety Assurance Contracts for Integrated Modular Avionics, 8th Australian Workshop on Safety Critical Systems and Software, Canberra, CRPIT Vol. 33, pp69\u201378, October 2003","journal-title":"8th Australian Workshop on Safety Critical Systems and Software, Canberra, CRPIT"},{"key":"12_CR3","unstructured":"Defence Standard 00-56 (1996). Safety Management Requirements for Defence Systems, Issue 2, United Kingdom Ministry of Defence, December 1996"},{"key":"12_CR4","unstructured":"Kelly T P. (1998). Arguing Safety \u2014 A Systematic Approach to Safety Case Management. PhD Thesis. Department of Computer Science, University of York, 1998"},{"key":"12_CR5","unstructured":"Kelly T P. (2001). Concepts and Principles of Compositional Safety Case Construction. COMSA\/2001\/1\/1. Department of Computer Science. University of York, 2001"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer B. (1992). Applying Design by Contract. IEEE Computer 1992; 25:40\u201352","journal-title":"IEEE Computer"},{"key":"12_CR7","unstructured":"Pygott C H. (2003). Compositional Safety Cases for COTS Assessment, QinetiQ, QinetiQ\/KI\/TIM\/TR021996, March 2003"}],"container-title":["Constituents of Modern System-safety Thinking"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-84628-130-X_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:50:57Z","timestamp":1619542257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-84628-130-X_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781852339524","9781846281303"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/1-84628-130-x_12","relation":{},"subject":[]}}