{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T04:47:30Z","timestamp":1747284450362,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/sii.2015.7404995","type":"proceedings-article","created":{"date-parts":[[2016,3,25]],"date-time":"2016-03-25T18:22:17Z","timestamp":1458930137000},"page":"301-306","source":"Crossref","is-referenced-by-count":1,"title":["A study of fault tree analysis for control program in space system"],"prefix":"10.1109","author":[{"given":"Masakazu","family":"Takahashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riki","family":"Kosaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiji","family":"Nanba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1997.610264"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.9746\/sicetr.48.285"},{"journal-title":"FTA method in the age of International standardization-Reliability Maintenanceability and Safety Analysis and Quality Assurance","year":"2000","author":"onodera","key":"ref10"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.235116"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39878-3_23"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2014.7107237"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1109\/ISSRE.2002.1173261","article-title":"Automatic Synthesis of Dynamic Fault Tree from UML System Model","author":"pai","year":"2002","journal-title":"Proc of 13th International Symposium on Software Reliability Engineering no page number"},{"journal-title":"Safeware System Safety and Computers","year":"2009","author":"leveson","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2014.7107256"},{"key":"ref1","first-page":"126","article-title":"Changes and Views for Guidance Control Computer for Rockets","volume":"64","author":"hayashi","year":"2011","journal-title":"NECTEC Technical Report"}],"event":{"name":"2015 IEEE\/SICE International Symposium on System Integration (SII)","start":{"date-parts":[[2015,12,11]]},"location":"Nagoya, Japan","end":{"date-parts":[[2015,12,13]]}},"container-title":["2015 IEEE\/SICE International Symposium on System Integration (SII)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7397479\/7404874\/07404995.pdf?arnumber=7404995","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T05:20:15Z","timestamp":1498281615000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7404995\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/sii.2015.7404995","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}