{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:57:52Z","timestamp":1778216272993,"version":"3.51.4"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/tr.2014.2299674","type":"journal-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T17:44:00Z","timestamp":1391190240000},"page":"81-93","source":"Crossref","is-referenced-by-count":48,"title":["A Multiple-Valued Decision-Diagram-Based Approach to Solve Dynamic Fault Trees"],"prefix":"10.1109","volume":"63","author":[{"given":"Yuchang","family":"Mo","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)90021-3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2003.818715"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571666"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571665"},{"key":"ref12","first-page":"35","article-title":"Sensitivity analysis of modular dynamic fault trees","author":"ou","year":"2000","journal-title":"Proc Performance and Dependability Symp"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/24.855536"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781056"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/24.537011"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/0201010"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1993.289589"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.1998.679287"},{"key":"ref19","article-title":"Dependability analysis using multiple-valued decision diagrams","author":"xing","year":"2002","journal-title":"Proc 6th Probabilistic Safety Assessment Manag"},{"key":"ref28","author":"nelson","year":"2004","journal-title":"Applied Life Data Analysis"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2003.1182018"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2012.32"},{"key":"ref3","author":"trivedi","year":"2001","journal-title":"Probability and Statistics with Reliability Queuing and Computer Science Applications"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1999.744104"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/3468.709618"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.1011531"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1998.731591"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0305-0548(88)90026-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2004.1285450"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/24.814522"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70244"},{"key":"ref22","first-page":"9","article-title":"Multi-valued decision diagrams for logic synthesis and verification","volume":"4","author":"kam","year":"1998","journal-title":"Multi-Valued Logic?An Int J Special Issue Decision Diagrams"},{"key":"ref21","author":"kam","year":"1996","journal-title":"Synthesis of Finite State Machines Functional Optimization"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1109\/RAMS.1993.296849","article-title":"Fault tree analysis: 1020 prime implicants and beyond","author":"coudert","year":"1993","journal-title":"Proc Annu Rel Maintainability Symp"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.09.008"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(93)90060-C"},{"key":"ref25","article-title":"New results in fault-tree analysis","author":"dugan","year":"1996","journal-title":"Proc Annu Rel Maintainability Symp"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/6750070\/06716071.pdf?arnumber=6716071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:29:25Z","timestamp":1642004965000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6716071\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":31,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tr.2014.2299674","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}