{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T21:21:28Z","timestamp":1725398488304},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.23919\/date.2019.8714878","type":"proceedings-article","created":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:29:07Z","timestamp":1558027747000},"page":"614-617","source":"Crossref","is-referenced-by-count":0,"title":["Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates"],"prefix":"10.23919","author":[{"given":"Josef","family":"Strnadel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-4666-6627-6.ch002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2017.07.064"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/qre.4680050108"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2409267"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.804492"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.09.007"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2016.7447965"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2016.2570565"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/EMS.2013.102"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2015.07.020"},{"key":"ref28","article-title":"Techniques for modeling the reliability of fault-tolerant systems with the markov state-space approach","author":"b","year":"1995","journal-title":"Tech Rep"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45943-1_6"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2013.6517749"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.801850"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1080\/03610926.2015.1081949"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2014.2313796"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-47812-9_7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9884-2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-3067-4_8"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2015.2452931"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45231-8_10"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-10(4:6)2014"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2737166.2737170"}],"event":{"name":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2019,3,25]]},"location":"Florence, Italy","end":{"date-parts":[[2019,3,29]]}},"container-title":["2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8704855\/8714721\/08714878.pdf?arnumber=8714878","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T19:49:04Z","timestamp":1559591344000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8714878\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":28,"URL":"https:\/\/doi.org\/10.23919\/date.2019.8714878","relation":{},"subject":[],"published":{"date-parts":[[2019,3]]}}}