{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:31:30Z","timestamp":1759336290199},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642239625"},{"type":"electronic","value":"9783642239632"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23963-2_17","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T01:29:02Z","timestamp":1317864542000},"page":"205-218","source":"Crossref","is-referenced-by-count":7,"title":["Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation"],"prefix":"10.1007","author":[{"given":"Christelle","family":"Jacob","sequence":"first","affiliation":[]},{"given":"Didier","family":"Dubois","sequence":"additional","affiliation":[]},{"given":"Janette","family":"Cardoso","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","first-page":"109","volume":"34","author":"A. Arnold","year":"2000","unstructured":"Arnold, A., Griffault, A., Point, G., Rauzy, A.: The Altarica language and its semantics. Fundamenta Informaticae\u00a034, 109\u2013124 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bernard, R., Aubert, J.-J., Bieber, P., Merlini, C., Metge, S.: Experiments on model-based safety analysis: flight controls. In: IFAC Workshop on Dependable Control of Discrete Systems, Cachan, France (2007)","DOI":"10.3182\/20070613-3-FR-4909.00010"},{"issue":"8","key":"17_CR3","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/S0951-8320(97)00034-3","volume":"58","author":"Y. Dutuit","year":"1997","unstructured":"Dutuit, Y., Rauzy, A.: Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia. Reliability Engineering and System Safety\u00a058, 127\u2013144 (1997)","journal-title":"Reliability Engineering and System Safety"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1109\/TFUZZ.2006.890680","volume":"16","author":"J. Fortin","year":"2008","unstructured":"Fortin, J., Dubois, D., Fargier, H.: Gradual Numbers and Their Application to Fuzzy Interval Analysis. IEEE trans. Fuzzy Systems\u00a016, 388\u2013402 (2008)","journal-title":"IEEE trans. Fuzzy Systems"},{"key":"17_CR6","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and applications of interval analysis","author":"R. Moore","year":"1979","unstructured":"Moore, R.: Methods and applications of interval analysis. SIAM Studies in Applied Mathematics, Philadelphia (1979)"},{"key":"17_CR7","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716","volume-title":"Introduction to Interval Analysis","author":"R.E. Moore","year":"2009","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. Society for Industrial & Applied Mathematics, U.S. (2009)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","volume":"78","author":"A. Rauzy","year":"2002","unstructured":"Rauzy, A.: Mode automata and their compilation into into fault trees. Reliability Engineering and System Safety\u00a078, 1\u201312 (2002)","journal-title":"Reliability Engineering and System Safety"},{"key":"17_CR9","unstructured":"Siegle, M.: BDD extensions for stochastic transition systems. In: Kouvatsos, D. (ed.) Proc. of 13th UK Performance Evaluation Workshop, Ilkley\/West Yorkshire, pp. 9\/1-9\/7 (July 1997)"},{"key":"17_CR10","unstructured":"Somenzi, F.: University of Colorado, \n                    \n                      http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Tiaoussou, K., Kanoun, K., Kaaniche, M., Seguin, C., Papadopoulos, C.: Operational Reliability of an Aircraft with Adaptive Missions. In: 13th European Workshop on Dependable Computing (2011)","DOI":"10.1145\/1978582.1978585"},{"key":"17_CR12","unstructured":"http:\/\/drdobbs.com\/cpp\/184401847"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23963-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,10]],"date-time":"2019-04-10T03:10:51Z","timestamp":1554865851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23963-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642239625","9783642239632"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23963-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}