{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:49:06Z","timestamp":1729651746658,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/sew.2005.45","type":"proceedings-article","created":{"date-parts":[[2006,1,5]],"date-time":"2006-01-05T09:52:38Z","timestamp":1136454758000},"page":"253-264","source":"Crossref","is-referenced-by-count":5,"title":["Towards a Hybrid Formal Method for Swarm-Based Exploration Missions"],"prefix":"10.1109","author":[{"given":"C.A.","family":"Rouff","sequence":"first","affiliation":[]},{"given":"M.G.","family":"Hinchey","sequence":"additional","affiliation":[]},{"given":"J.L.","family":"Rash","sequence":"additional","affiliation":[]},{"given":"W.F.","family":"Truszkowski","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2004.66"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2006.871600"},{"key":"15","first-page":"269","article-title":"Apoptosis and self-destruct: A contribution to autonomic agents?","author":"sterritt","year":"2004","journal-title":"Proc FAABS-III 3rd NASA\/IEEE Workshop on Formal Approaches to Agent-Based Systems"},{"key":"16","first-page":"227","article-title":"Describing social insect behavior using process algebra","author":"tofts","year":"1991","journal-title":"Trans Soc Computer Simulation"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2004.1316730"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICIIS.1999.810278"},{"key":"11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1049\/sej.1988.0009","article-title":"x-machines as a basis for dynamic system specification","volume":"3","author":"holcombe","year":"1988","journal-title":"Software Engineering Journal"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2003.1270725"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0300-72"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195131581.001.0001","author":"bonabeau","year":"1999","journal-title":"Swarm Intelligence From Natural to Artificial Systems"},{"key":"1","first-page":"425","article-title":"Swarm intelligence","author":"beni","year":"1989","journal-title":"Proc Seventh Annual Meeting of the Robotics Society of Japan"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"10"},{"key":"7","article-title":"ANTS (Autonomous Nano-Technology Swarm): An artificial intelligence approach to asteroid belt resource exploration","author":"curtis","year":"2000","journal-title":"Int Astronautical Federation 51st Congr"},{"key":"6","article-title":"ANTS: Applying a new paradigm to lunar and planetary exploration","author":"clark","year":"2002","journal-title":"Solar System Remote Sensing Symp"},{"journal-title":"Parallel Program Design A Foundation","year":"1988","author":"chandy","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48119-2_28"},{"journal-title":"Concurrent Systems Formal Development in CSP","year":"1995","author":"hinchey","key":"9"},{"journal-title":"Categories for Software Engineering","year":"2004","author":"fiadeiro","key":"8"}],"event":{"name":"Proceedings. 29th Annual IEEE\/NASA Software Engineering Workshop","start":{"date-parts":[[2005,4,6]]},"location":"Greenbelt, MD","end":{"date-parts":[[2005,4,7]]}},"container-title":["29th Annual IEEE\/NASA Software Engineering Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10198\/32541\/01521214.pdf?arnumber=1521214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,22]],"date-time":"2021-07-22T02:22:02Z","timestamp":1626920522000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1521214\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/sew.2005.45","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}