( en | de | ru )

 

Disambiguation of "Hinchey, Michael G."

Author of the publication

copydeleteadd this publication to your clipboard
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

, , , , , , and . NASA Monographs in Systems and Software Engineering Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael G Vanlaningham

Michael G Noth

Michael G Marino

Giuseppe G G Manzardo

Michael H G Becker

 

Other publications of authors with the same name

Experience Using Formal Methods for Specifying a Multi-Agent System., , and . ICECCS, page 72-. IEEE Computer Society, (2000)You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems., , , , and . Transactions of the SDPS, 9 (1): 1-16 (2005)Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems., , , and . SIS, page 348-355. IEEE, (2007)Model-Based Evolution of Collaborative Agent-Based Systems., , , and . J. Braz. Comput. Soc., 13 (4): 17-38 (2007)A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture., , , , and . ECBS, page 255-262. IEEE Computer Society, (2005)Autonomicity of NASA Missions., , , , and . ICAC, page 387-388. IEEE Computer Society, (2005)Formal Approaches to Intelligent Swarms., , , and . SEW, page 51. IEEE Computer Society, (2003)Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track., , and . HICSS (3), page 148-149. IEEE Computer Society, (1998)Structural design and formal methods. University of Cambridge, UK, (1999)British Library, EThOS.Structured and Formal Methods: An Investigative Framework.. ICSE Workshop on Studies of Software Design, volume 1078 of Lecture Notes in Computer Science, page 151-163. Springer, (1993)