{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:06:34Z","timestamp":1725527194372},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1109\/icsecompanion.2007.45","type":"proceedings-article","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T17:14:24Z","timestamp":1181236464000},"page":"180-181","source":"Crossref","is-referenced-by-count":1,"title":["Languages for Safety-Critical Software: Issues and Assessment"],"prefix":"10.1109","author":[{"given":"Benjamin M.","family":"Brosgol","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"A Comparison of Ada and Real-Time Java for Safety-Critical Applications","year":"2006","author":"brosgol","key":"3"},{"journal-title":"High Integrity Software The SPARK Approach to Safety and Security","year":"2003","author":"barnes","key":"2"},{"year":"0","key":"1"},{"year":"0","key":"7"},{"year":"0","key":"6"},{"journal-title":"Industrial Strength C","year":"1997","author":"henricson","key":"5"},{"journal-title":"00714 Handbook","year":"0","author":"faa","key":"4"},{"year":"0","key":"8"}],"event":{"name":"29th International Conference on Software Engineering","start":{"date-parts":[[2007,5,20]]},"location":"Minneapolis, MN, USA","end":{"date-parts":[[2007,5,26]]}},"container-title":["29th International Conference on Software Engineering (ICSE'07 Companion)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4222653\/4222654\/04222735.pdf?arnumber=4222735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T19:19:13Z","timestamp":1489605553000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4222735\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/icsecompanion.2007.45","relation":{},"subject":[],"published":{"date-parts":[[2007,5]]}}}