{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:43:15Z","timestamp":1725511395120},"reference-count":8,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isorc.2002.1003691","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T20:30:39Z","timestamp":1056573039000},"page":"177-180","source":"Crossref","is-referenced-by-count":0,"title":["An architecture-based comparison of verification and statistical reliability assessment methods for embedded software systems"],"prefix":"10.1109","author":[{"given":"F.B.","family":"Bastani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Sung Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"I-Ling Yen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ing-Ray Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1995.512546"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.263755"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0053381","article-title":"Aspect-Oriented Programming","author":"kiczales","year":"1997","journal-title":"Proc of Euro Conf on Object-Oriented Programming (ECOOP)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2365"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"key":"ref2","article-title":"Relational programs: Architecture for robust process-control programs","author":"bastani","year":"1999","journal-title":"ser Ann"},{"article-title":"Object-Oriented Reuse, Concurrency and Distribution","year":"1991","author":"atkinson","key":"ref1"}],"event":{"name":"ISORC 2002. 5th International Symposiun on Object Oriented Real-Time Distributed Computing","acronym":"ISORC-02","location":"Washington, DC, USA"},"container-title":["Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7870\/21665\/01003691.pdf?arnumber=1003691","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T21:27:10Z","timestamp":1584998830000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1003691\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/isorc.2002.1003691","relation":{},"subject":[]}}