{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:01:03Z","timestamp":1725570063345},"reference-count":4,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/issrew.2014.35","type":"proceedings-article","created":{"date-parts":[[2014,12,30]],"date-time":"2014-12-30T18:55:42Z","timestamp":1419965742000},"page":"138-139","source":"Crossref","is-referenced-by-count":0,"title":["Is Cut Sequence Necessary in Dynamic Fault Trees?"],"prefix":"10.1109","author":[{"given":"Jianwen","family":"Xiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fumio","family":"Machida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kumiko","family":"Tadano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeru","family":"Hosono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"3","DOI":"10.1016\/j.ress.2011.02.005"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/24.159800"},{"year":"1981","author":"vesely","journal-title":"Fault Tree Handbook","key":"1"},{"key":"4","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/LADC.2013.14","article-title":"A static analysis of dynamic fault trees with Priority-AND gates","author":"xiang","year":"2013","journal-title":"Sixth Latin-American Symposium on Dependable Computing (LADC 2013"}],"event":{"name":"2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","start":{"date-parts":[[2014,11,3]]},"location":"Naples, Italy","end":{"date-parts":[[2014,11,6]]}},"container-title":["2014 IEEE International Symposium on Software Reliability Engineering Workshops"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6982004\/6983760\/06983825.pdf?arnumber=6983825","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T11:16:37Z","timestamp":1602674197000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6983825"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/issrew.2014.35","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}