{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:09:28Z","timestamp":1729627768495,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/icsai.2016.7811018","type":"proceedings-article","created":{"date-parts":[[2017,1,9]],"date-time":"2017-01-09T16:44:14Z","timestamp":1483980254000},"page":"566-571","source":"Crossref","is-referenced-by-count":0,"title":["On the use of probabilistic model checking for reliability evaluation"],"prefix":"10.1109","author":[{"given":"Xu","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zongyuan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Automated quantitative software verification","author":"mark","year":"2010","journal-title":"Oxford University"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958249"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39718-9_3"},{"journal-title":"Verifying Continuous-Time Markov Chains","year":"1996","author":"aziz","key":"ref13"},{"year":"2011","key":"ref14","article-title":"Qualitative and quantitative security analyses for zigbee wireless sensor networks"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/EMS.2013.102"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23597-4_22"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s10009-014-0311-8","article-title":"Quantitative modelling and analysis of a chinese smart grid: a stochastic model checking case study","volume":"16","author":"ksel","year":"2014","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref5","first-page":"585","article-title":"Prism 4. 0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Computer Aided Verification-International Conference CAV 2011 Snowbird Ut Usa July 14–20 2011 Proceedings"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2011.5958848"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RELDI.2000.885410"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CSE.2014.148"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2014.01.005"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33410-3_21"}],"event":{"name":"2016 3rd International Conference on Systems and Informatics (ICSAI)","start":{"date-parts":[[2016,11,19]]},"location":"Shanghai, China","end":{"date-parts":[[2016,11,21]]}},"container-title":["2016 3rd International Conference on Systems and Informatics (ICSAI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7794486\/7810917\/07811018.pdf?arnumber=7811018","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T05:39:04Z","timestamp":1568698744000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7811018\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icsai.2016.7811018","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}