{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T04:23:58Z","timestamp":1729743838380,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/hldvt.2002.1224430","type":"proceedings-article","created":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T14:56:02Z","timestamp":1065020162000},"page":"63-68","source":"Crossref","is-referenced-by-count":1,"title":["A hierarchical approach for designing dependable systems"],"prefix":"10.1109","author":[{"given":"M.","family":"Sonza Reorda","sequence":"first","affiliation":[{"name":"Dipt. di Automatica e Informatica, Politecnico di Torino, Italy"}]},{"given":"M.","family":"Violante","sequence":"additional","affiliation":[{"name":"Dipt. di Automatica e Informatica, Politecnico di Torino, Italy"}]},{"given":"N.","family":"Mazzoca","sequence":"additional","affiliation":[]},{"given":"S.","family":"Venticinque","sequence":"additional","affiliation":[]},{"given":"A.","family":"Bobbio","sequence":"additional","affiliation":[]},{"given":"G.","family":"Franceschinis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.2000.839467"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/2.585157"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44743-1_8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61363-3_8"},{"key":"ref11","first-page":"61","article-title":"New Techniques for Accelerating Fault Injection in VHDL descriptions","author":"parrotta","year":"2000","journal-title":"IEEE International On-line Testing Workshop"},{"key":"ref5","first-page":"586","article-title":"Evaluating System Dependability in a Co-Design Framework","author":"lajolo","year":"2000","journal-title":"IEEE Design Automation and Test in Europe"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)90039-6"},{"journal-title":"Proc of IEEE Conference ISCSS 2001","article-title":"Predictive Performance Analysis of Distributed Heterogeneous Systems with HeSSE","year":"2001","author":"mazzocca","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-45255-9_37","article-title":"The transition from a PVM Program Simulator toa Heterogeneous System Simulator: The HeSSE Project","volume":"1908","author":"mazzocca","year":"2000","journal-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1996.540198"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/4434.708252"},{"key":"ref1","first-page":"417","article-title":"Implementing compositionality for Stochastic Petri Nets","volume":"3","author":"bernardi","year":"2001","journal-title":"Special section on the practical use of high-level Petri Nets Int Journal of Software Tools for Technology Transfer (STIT)"}],"event":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT'02)","start":{"date-parts":[[2002,10,29]]},"location":"Cannes, France","end":{"date-parts":[[2002,10,29]]}},"container-title":["Seventh IEEE International High-Level Design Validation and Test Workshop, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8669\/27468\/01224430.pdf?arnumber=1224430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T17:46:21Z","timestamp":1729705581000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1224430\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2002.1224430","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}