{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T01:01:36Z","timestamp":1725411696517},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/asap.2010.5540769","type":"proceedings-article","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T15:51:40Z","timestamp":1281455500000},"page":"99-106","source":"Crossref","is-referenced-by-count":0,"title":["A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework"],"prefix":"10.1109","author":[{"given":"Heng","family":"Kuang","sequence":"first","affiliation":[]},{"given":"Olga","family":"Ormandjieva","sequence":"additional","affiliation":[]},{"given":"Stan","family":"Klasa","sequence":"additional","affiliation":[]},{"given":"Jamal","family":"Bentahar","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732561"},{"journal-title":"Categories for Software Engineering","year":"2004","author":"fiadeiro","key":"ref3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/EASe.2008.14"},{"key":"ref6","article-title":"Methodology for Automatic Generation of Exhaustive Behavioral Models in Reactive Autonomic Systems","author":"ormandjieva","year":"2008","journal-title":"Proc of the Int Conf on Software Engineering Theory and Practice"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICAS.2006.59"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05441-9_11"},{"key":"ref8","article-title":"Fault-Tolerance through Message-logging and Check-pointing: Disaster Recovery for CORBA-based Distributed Bank Servers","author":"vassev","year":"2009","journal-title":"CoRR abs\/0911 3092"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCGI.2008.43"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081196"},{"article-title":"Modelling and Specification of Autonomous Systems using Category Theory","year":"1989","author":"lee","key":"ref9"},{"key":"ref1","article-title":"PAM: Biologically Inspired Engineering and Exploration Mission Concept, Components, and Requirements for Asteroid Population Survey","author":"clark","year":"2004","journal-title":"Proceedings of the 55th International Astronautical Congress"}],"event":{"name":"2010 21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP)","start":{"date-parts":[[2010,7,7]]},"location":"Rennes, France","end":{"date-parts":[[2010,7,9]]}},"container-title":["ASAP 2010 - 21st IEEE International Conference on Application-specific Systems, Architectures and Processors"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5523683\/5540749\/05540769.pdf?arnumber=5540769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T20:20:06Z","timestamp":1489868406000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5540769\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/asap.2010.5540769","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}