( en | de | ru )

 

Disambiguierung von "Hinchey, Michael G."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture.

, , , , und . ECBS, Seite 255-262. IEEE Computer Society, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Michael G Vanlaningham

Michael G Noth

Michael G Marino

Giuseppe G G Manzardo

Michael H G Becker

 

Weitere Publikationen von Autoren mit dem selben Namen

Experience Using Formal Methods for Specifying a Multi-Agent System., , und . ICECCS, Seite 72-. IEEE Computer Society, (2000)You can't Get there from Here! Problems and some potential solutions in Developing New Classes of Complex Systems., , , , und . Transactions of the SDPS, 9 (1): 1-16 (2005)Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems., , , und . SIS, Seite 348-355. IEEE, (2007)Model-Based Evolution of Collaborative Agent-Based Systems., , , und . J. Braz. Comput. Soc., 13 (4): 17-38 (2007)A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture., , , , und . ECBS, Seite 255-262. IEEE Computer Society, (2005)Autonomicity of NASA Missions., , , , und . ICAC, Seite 387-388. IEEE Computer Society, (2005)Formal Approaches to Intelligent Swarms., , , und . SEW, Seite 51. IEEE Computer Society, (2003)Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track., , und . HICSS (3), Seite 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 von Lecture Notes in Computer Science, Seite 151-163. Springer, (1993)