( en | de | ru )

 

Disambiguation of "Hinchey, Michael G."

Author of the publication

copydeleteadd this publication to your clipboard
Ten Commandments of Formal Methods ...Ten Years Later.

, and . IEEE Computer, 39 (1): 40-48 (2006)

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)Model-Based Evolution of Collaborative Agent-Based Systems., , , and . J. Braz. Comput. Soc., 13 (4): 17-38 (2007)Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems., , , and . SIS, page 348-355. IEEE, (2007)Autonomicity of NASA Missions., , , , and . ICAC, page 387-388. IEEE Computer Society, (2005)A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture., , , , and . ECBS, page 255-262. 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.A requirements-based programming approach to developing a NASA autonomous ground control system., , , , and . Artif. Intell. Rev., 25 (4): 285-297 (2006)