( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Panel Discussion: Future Directions.

, , , , , , и . FAABS, том 1871 из Lecture Notes in Computer Science, стр. 354-368. Springer, (2000)

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.

Michael G Vanlaningham

Michael G Noth

Michael G Marino

Giuseppe G G Manzardo

Michael H G Becker

 

Другие публикации лиц с тем же именем

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