{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:45:15Z","timestamp":1725475515635},"reference-count":9,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iwrsp.2003.1207050","type":"proceedings-article","created":{"date-parts":[[2004,1,23]],"date-time":"2004-01-23T23:33:03Z","timestamp":1074900783000},"page":"210-217","source":"Crossref","is-referenced-by-count":2,"title":["Comparative rapid prototyping: a case study"],"prefix":"10.1109","author":[{"family":"Luqi","sequence":"first","affiliation":[]},{"given":"M.","family":"Shing","sequence":"additional","affiliation":[]},{"given":"J.","family":"Puett","sequence":"additional","affiliation":[]},{"given":"V.","family":"Berzins","sequence":"additional","affiliation":[]},{"given":"Z.","family":"Guan","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Qiao","sequence":"additional","affiliation":[]},{"given":"L.","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"N.","family":"Chaki","sequence":"additional","affiliation":[]},{"given":"X.","family":"Liang","sequence":"additional","affiliation":[]},{"given":"W.","family":"Ray","sequence":"additional","affiliation":[]},{"given":"M.","family":"Brown","sequence":"additional","affiliation":[]},{"given":"D.","family":"Floodeen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2001","key":"ref4","article-title":"WRAIR Dept. of Resuscitative Medicine, Narrative Description of the CARA software"},{"key":"ref3","article-title":"Verification of Timing Properties in Rapid System Prototyping","author":"drusinsky","year":"2003","journal-title":"Proc Workshop on Rapid System Prototyping"},{"journal-title":"CARA Tagged Requirements Increment 3 Version 1 2 Proprietary Document WRAIR","article-title":"WRAIR Dept. of Resuscitative Medicine","year":"2001","key":"ref6"},{"journal-title":"CARA Pump Control Software Questions Version 6 1 Proprietary Document WRAIR","article-title":"WRAIR Dept. of Resuscitative Medicine","year":"2001","key":"ref5"},{"key":"ref8","first-page":"169","article-title":"SEA Environment for CARA Software","author":"luqi","year":"2003","journal-title":"Naval Postgraduate school Technology Report NPS-53–79–003"},{"key":"ref7","article-title":"Formal Specifications and Analysis of the Computer Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System","author":"alur","year":"2002","journal-title":"Proc Integrated Design and Process Technology (IDPT)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(93)90013-Q"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/581469.581474"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.6186"}],"event":{"name":"14th IEEE International Workshop on Rapid Systems Prototyping","acronym":"IWRSP-03","location":"San Diego, CA, USA"},"container-title":["14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8579\/27166\/01207050.pdf?arnumber=1207050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T13:08:08Z","timestamp":1489410488000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207050\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/iwrsp.2003.1207050","relation":{},"subject":[]}}