{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T23:27:10Z","timestamp":1725406030337},"reference-count":12,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iwsoc.2003.1213031","type":"proceedings-article","created":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T21:26:50Z","timestamp":1078176410000},"page":"181-184","source":"Crossref","is-referenced-by-count":0,"title":["Java based co-verification of expedited mobile device collaboration using observability"],"prefix":"10.1109","author":[{"given":"S.G.","family":"Aly","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.M.","family":"Salem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/266021.266037"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2000.835134"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICIP.2002.1039121"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643613"},{"key":"ref11","article-title":"IETF RFC 2165: Service Location Protocol","author":"veizades","year":"1997","journal-title":"Working Group of the Internet Eng Task Force"},{"journal-title":"The Java Language Specification Reading","year":"1996","author":"gosling","key":"ref5"},{"key":"ref12","article-title":"RTOS Modeling Using SystemC","author":"abdelsalam","year":"2002","journal-title":"Proc Of International Workshop for SOC (IWSOC‘02"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2002.1017127"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/309847.310068"},{"key":"ref2","article-title":"Seamless CVE Hardware\/Software Co-Verification Technology","author":"klein","year":"1998","journal-title":"Mentor Graphics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34980-0_22"},{"key":"ref1","article-title":"A Java Based Model for Mobile Devices Co-Verification","author":"aly","year":"2003","journal-title":"Proc International Conference on Artificial Intelligence and Applications"}],"event":{"name":"3rd IEEE International Workshop on System-on-Chip for Real-Time Applications","acronym":"IWSOC-03","location":"Calgary, Alta., Canada"},"container-title":["The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8609\/27279\/01213031.pdf?arnumber=1213031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:57:14Z","timestamp":1489417034000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1213031\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iwsoc.2003.1213031","relation":{},"subject":[]}}