{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:06:15Z","timestamp":1742396775844},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/issre.2003.1251040","type":"proceedings-article","created":{"date-parts":[[2005,4,25]],"date-time":"2005-04-25T14:49:51Z","timestamp":1114440591000},"page":"169-180","source":"Crossref","is-referenced-by-count":2,"title":["Shared semantic domains for computational reliability engineering"],"prefix":"10.1109","author":[{"given":"D.","family":"Coppit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.R.","family":"Painter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.J.","family":"Sullivan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/800229.806969"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571665"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2002.1007998"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/24.326452"},{"journal-title":"The Znotation a reference manual","year":"1992","author":"spivey","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781056"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493418"},{"journal-title":"The Free Software Foundation The GCC home page","year":"0","key":"ref17"},{"journal-title":"Fault Tree Handbook with Aerospace Applications National Aeronatics and Space Administration","year":"2002","author":"vesely","key":"ref18"},{"journal-title":"Fault Tree Handbook","year":"1981","author":"vesely","key":"ref19"},{"journal-title":"Engineering Modeling and Analysis Sound Methods and Effective Tools","year":"2003","author":"coppit","key":"ref4"},{"journal-title":"Dynamic Fault Tree Models Techniques for Analysis of Advanced Fault Tolerant Computer Systems","year":"1991","author":"boyd","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201200"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337622"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1995.466973"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2000.885878"},{"key":"ref2","article-title":"Boolean logic driven markov processes: A powerful new formalism for specifying and solving very large markov models","author":"bouissou","year":"2002","journal-title":"Proceedings of the 6th International Conference on Probabilistic Safety Assessment and Management"},{"journal-title":"Statistical Theory of Reliability and Life Testing","year":"1975","author":"barlow","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"ref20","article-title":"Launch control safety study","author":"watson","year":"1961","journal-title":"Technical Report"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.1011526"}],"event":{"name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","location":"Denver, Colorado, USA"},"container-title":["14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8855\/27999\/01251040.pdf?arnumber=1251040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T18:48:02Z","timestamp":1489517282000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1251040\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/issre.2003.1251040","relation":{},"subject":[]}}