{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:11:16Z","timestamp":1729671076052,"version":"3.28.0"},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487926","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T13:52:28Z","timestamp":1122472348000},"page":"246-247","source":"Crossref","is-referenced-by-count":0,"title":["Extended abstract: evaluation of delay queues for a ravenscar HW kernel"],"prefix":"10.1109","author":[{"given":"G.","family":"Naeser","sequence":"first","affiliation":[]},{"given":"J.","family":"Furunas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","DOI":"10.1023\/A:1021701221847","article-title":"A ravenscar-compliant run-time kernel for safety critical systems","volume":"24","author":"lundqvist","year":"2003","journal-title":"Real-Time Systems"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","author":"larsen","year":"1997","journal-title":"Int Journal on Software Tools for Technology Transfer"},{"key":"1","article-title":"Guide for the use of the ada ravenscar profile in hight integrity systems","volume":"ycs 2003 348","author":"burns","year":"2003","journal-title":"New York University Technical Report"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HOTOS.1997.595176"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2003.1245822"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/374370.374387"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/967900.968077"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000048937.17571.2b"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","acronym":"MEMCOD-05","location":"Verona, Italy"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487926.pdf?arnumber=1487926","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:36:15Z","timestamp":1497634575000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487926\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487926","relation":{},"subject":[]}}