{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T08:13:58Z","timestamp":1725437638373},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2004.1281733","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"89-96","source":"Crossref","is-referenced-by-count":2,"title":["Structural analysis of explicit fault-tolerant programs"],"prefix":"10.1109","author":[{"given":"S.","family":"Gossens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Dal Cin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The SMV System","year":"1992","author":"mcmillan","key":"17"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689471"},{"key":"16","first-page":"13","article-title":"Software Diversita?t und ihr Beitrag zur Sicherheit","author":"voges","year":"1998","journal-title":"Proc Entwicklung von Software-systemen in ADA"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312842"},{"journal-title":"The Fault Tree Method","year":"1999","author":"schneeweiss","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1996.558714"},{"journal-title":"Software Fault Tolerance","year":"2001","author":"pullum","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.1996.506265"},{"key":"2","first-page":"149","article-title":"On the implementation of N-version programming for software fault tolerance during program execution","author":"avizienis","year":"1997","journal-title":"Proc COMPSAC'97"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231893"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-8990-0"},{"key":"7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1109\/HASE.2002.1173124","article-title":"Enhancing validation with behavioural types","author":"gossens","year":"2002","journal-title":"Proc High-assurance System Engineering Symposium HASE 2002"},{"key":"6","first-page":"47","article-title":"Zur explizit fehlertoleranten Programmierung von Parallelrechnern","author":"dal cin","year":"1989","journal-title":"Proc PARS Workshop"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/24574.24575"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/2.56851"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312924"}],"event":{"name":"Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004.","location":"Tampa, FL, USA"},"container-title":["Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9019\/28627\/01281733.pdf?arnumber=1281733","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:56:29Z","timestamp":1497599789000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1281733\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/hase.2004.1281733","relation":{},"subject":[]}}