{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:01:27Z","timestamp":1725901287697},"publisher-location":"Boston, MA","reference-count":19,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081507"},{"type":"electronic","value":"9781402081514"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/1-4020-8151-0_15","type":"book-chapter","created":{"date-parts":[[2006,3,7]],"date-time":"2006-03-07T00:17:30Z","timestamp":1141690650000},"page":"167-176","source":"Crossref","is-referenced-by-count":0,"title":["Verification of NASA Emergent Systems"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Rouff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amy K C S","family":"Vanderbilt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walt","family":"Truszkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Rash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Hinchey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"E. Clare and J. Wing. Formal Methods: State of the Art and Future Directions. Report by the Working Group on Formal Methods for the ACM Workshop on Strategic Directions in Computing Research, ACM Computing Surveys, vol. 28, no. 4, Dec. 1996, pp. 626\u2013643.","DOI":"10.1145\/242223.242257"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1016\/S0169-5347(97)01048-3","volume":"12","author":"E.G. Bonabeau","year":"1997","unstructured":"E.G. Bonabeau, G. Theraulaz, et al. Self-organization in Social Insects, Trends in Ecology and Evolution, 1997, vol. 12, pp. 188\u2013193.","journal-title":"Trends in Ecology and Evolution"},{"key":"15_CR3","unstructured":"G. Beni. and J. Want. Swarm Intelligence. In Proceedings of the Seventh Annual Meeting of the Robotics Society of Japan, pp 425\u2013428, Tokyo, Japan, 1989, RSJ Press."},{"key":"15_CR4","unstructured":"ANTS team. Protocol for ANTS Encounters. NASA GSFC, Code 695."},{"key":"15_CR5","unstructured":"S.A. Curtis, J. Mica, J. Nuth, G. Marr, M. Rilee, and M. Bhat. ANTS (Autonomous Nano-Technology Swarm): An Artificial Intelligence Approach to Asteroid Belt Resource Exploration. International Astronautical Federation, 51st Congress, October 2000."},{"key":"15_CR6","unstructured":"P. Nayak, P. Pandurang, et. al. 1999. Validating the DS1 Remote Agent Experiment. In Proceedings of the 5th International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS-99)."},{"key":"15_CR7","unstructured":"C. Rouff, J. Rash, M. Hinchey. Experience Using Formal Methods for Specifying a Multi-Agent System. Sixth IEEE International Conference on Engineering of Complex ComputerSystems (ICECCS 2000) September 11\u201315, 2000."},{"key":"15_CR8","unstructured":"C. Rouff, W. Truszkowski, J. Rash and M. Hinchey. Formal Approaches to Intelligent Swarms. IEEE\/NASA Software Engineering Workshop, Greenbelt, MD. December 2003."},{"key":"15_CR9","unstructured":"C. Rouff, A. Vanderbilt, W. Truszkowski, J. Rash and M. Hinchey. Verification of NASA Emergent Systems. Ninth International Conference on Engineering of Complex Computer Systems (ICECCS 2004), Florence, Italy, April 14\u201316, 2004."},{"key":"15_CR10","unstructured":"C. Tofts. Describing social insect behaviour using process algebra. Transactions on Social Computing Simulation. 1991. 227\u2013283."},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"951","DOI":"10.1006\/bulm.2001.0252","volume":"63","author":"D.J.T. Sumpter","year":"2001","unstructured":"D.J.T. Sumpter, G.B. Blanchard and D.S. Broomhead. Ants and Agents: A Process Algebra Approach to Modelling Ant Colony Behaviour. Bulletin of Mathematical Biology. 2001, 63, 951\u2013980.","journal-title":"Bulletin of Mathematical Biology"},{"key":"15_CR12","unstructured":"S. Eilenberg. Automat, Languages and Machines, Vol. A. Academic Press, 1974."},{"key":"15_CR13","series-title":"Technical Report","volume-title":"Mathematical models of cell biochemistry","author":"M. Holcombe","year":"1986","unstructured":"M. Holcombe. Mathematical models of cell biochemistry. Technical Report CS-86-4. 1986. Dept of Computer Science, Sheffield University, United Kingdom."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"J. Barnard, J. Whitworth and M. Woodward. Communicating X-machines. Journal of Information and Software Technology, 38(6), 1996.","DOI":"10.1016\/0950-5849(95)01066-1"},{"key":"15_CR15","unstructured":"J.R. Kiniry. The Specification of Dynamic Distributed Component Systems. Master\u2019 Thesis, CS-TR-98-08 1998 California Institute of Technology, Comp.Sci. Depart."},{"key":"15_CR16","volume-title":"Theory of Self-Reproducing Automat","author":"J. Neumann von","year":"1996","unstructured":"J. von Neumann. Theory of Self-Reproducing Automat. University of Illinois Press, Urbana, Illinois. 1996, Edited and completed by Q.W. Burks."},{"key":"15_CR17","unstructured":"W. Spears and D. Gordon. (1999) Using artificial physics to control agents. Proceedings of the IEEE Conference on Information, Intelligence, and Systems (ICIIS\u201999)"},{"issue":"8","key":"15_CR18","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Communications of the ACM, 21(8):666\u2013677, August, 1978.","journal-title":"Communications of the ACM"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley. 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"}],"container-title":["IFIP International Federation for Information Processing","Artificial Intelligence Applications and Innovations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8151-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T13:46:11Z","timestamp":1558359971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8151-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402081507","9781402081514"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8151-0_15","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2004]]}}}