{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:38:07Z","timestamp":1729661887368,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/prdc.2004.1276557","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"97-102","source":"Crossref","is-referenced-by-count":3,"title":["Safety testing of safety critical software based on critical mission duration"],"prefix":"10.1109","author":[{"family":"Shiping Yang","sequence":"first","affiliation":[]},{"family":"Nan Sang","sequence":"additional","affiliation":[]},{"family":"Guangze Xiong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.824387"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1996.492451"},{"key":"ref12","first-page":"189","article-title":"Assessment of Safety-Critical Software in Nuclear Power Plants","volume":"32","author":"parnas","year":"1991","journal-title":"Nuclear Safety"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1997.630878"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1995.466955"},{"key":"ref15","article-title":"Bayesian Belief Network and Its Applications","author":"yu","year":"2002","journal-title":"Technical Report UVA-CSCS-BBN-001 Draft University of Virginia Center for Safety-Critical Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1999.744110"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"582","DOI":"10.1109\/TSE.1987.233463","article-title":"fault-tolerant software reliability modeling","volume":"se 13","author":"scott","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.210303"},{"key":"ref6","first-page":"182","article-title":"From Security to Safety and Back","author":"stavridou","year":"1998","journal-title":"Proceedings of Computer Security Dependability and Assurance From Needs to Solutions"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(91)90049-D"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1109\/24.664002","article-title":"Safety Issues in the Comparative Analysis of Dependable Architectures","volume":"46","author":"charles","year":"1997","journal-title":"IEEE Transactions on Reliability"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/163359.163373"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.120314"},{"key":"ref1","article-title":"Design and analysis of fault tolerant systems","author":"johnson","year":"1989","journal-title":"Addison-wesley Publishing Company"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1109\/24.963132","article-title":"Defining Mean Time to Failure in a Particular Failure State for Multi-Failure State Systems","volume":"50","author":"julia","year":"2001","journal-title":"IEEE Transactions on Reliability"}],"event":{"name":"10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004.","location":"Papeete, Tahiti, French Polynesia"},"container-title":["10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8995\/28541\/01276557.pdf?arnumber=1276557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:56:22Z","timestamp":1497585382000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1276557\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/prdc.2004.1276557","relation":{},"subject":[]}}