{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T03:39:44Z","timestamp":1725421184803},"reference-count":5,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.1997.648059","type":"proceedings-article","created":{"date-parts":[[2002,11,22]],"date-time":"2002-11-22T22:09:49Z","timestamp":1038002989000},"page":"168-174","source":"Crossref","is-referenced-by-count":1,"title":["High assurance application systems and their technologies under changing situations"],"prefix":"10.1109","author":[{"given":"K.","family":"Mori","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.1997.590654"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.1993.262725"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.502225"},{"key":"ref2","first-page":"1056","article-title":"Autonomous Decentralized Software Structure and Its Application","author":"mori","year":"1986","journal-title":"IEEE Fall Joint Computer Conference"},{"journal-title":"IEEE High-Assurance System Engineering Workshop","year":"1996","key":"ref1"}],"event":{"name":"1997 High-Assurance Engineering Workshop","acronym":"HASE-97","location":"Washington, DC, USA"},"container-title":["Proceedings 1997 High-Assurance Engineering Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/5231\/14136\/00648059.pdf?arnumber=648059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T19:19:46Z","timestamp":1489087186000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/648059\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/hase.1997.648059","relation":{},"subject":[]}}