{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:37:15Z","timestamp":1729618635369,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/memea.2015.7145195","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T17:19:13Z","timestamp":1436203153000},"page":"180-185","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Probabilistic Model Checking-based approach for Medical Device Risk Assessment"],"prefix":"10.1109","author":[{"given":"Giuseppe","family":"Cicotti","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Coronato","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(98)00027-1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(00)00017-X"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.18"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Computer Aided Verification"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1002\/hec.654"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0272989X05282637"},{"key":"ref16","volume":"26202649","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/24.877343"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.02.016"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.5516\/NET.03.2014.700"},{"key":"ref5","article-title":"Probabilistic risk assessment: What is it and why is it worth performing it?","volume":"4","author":"stamatelatos","year":"2000","journal-title":"NASA Office of Safety and Mission Assurance"},{"key":"ref8","article-title":"Dynamic event trees for probabilistic safety analysis","author":"hofer","year":"2004","journal-title":"GRS Garsching Germany"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.37"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1985.5222114"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-40891-6_33","article-title":"Failure mode and effect analysis for safety-critical systems with software components","author":"cichocki","year":"2000","journal-title":"Computer Safety Reliability and Security"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0951-8320(94)90095-7"}],"event":{"name":"2015 IEEE International Symposium on Medical Measurements and Applications (MeMeA)","start":{"date-parts":[[2015,5,7]]},"location":"Torino, Italy","end":{"date-parts":[[2015,5,9]]}},"container-title":["2015 IEEE International Symposium on Medical Measurements and Applications (MeMeA) Proceedings"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7128112\/7145157\/07145195.pdf?arnumber=7145195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,27]],"date-time":"2019-08-27T21:25:27Z","timestamp":1566941127000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7145195\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/memea.2015.7145195","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}