( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Progressive Autonomy - An Incremental Agent-based Approach.

, , , и . Software Engineering Research and Practice, стр. 9-15. CSREA Press, (2005)

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.

Christopher A Richardson

Christopher A Becker

Christopher Christopher

R. A. A. Bowler

°Ake °Akerström

 

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

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)Autonomicity of NASA Missions., , , , и . ICAC, стр. 387-388. IEEE Computer Society, (2005)Formal Approaches to Intelligent Swarms., , , и . SEW, стр. 51. IEEE Computer Society, (2003)A requirements-based programming approach to developing a NASA autonomous ground control system., , , , и . Artif. Intell. Rev., 25 (4): 285-297 (2006)A Formal Approach to Requirements-Based Programming., , и . ECBS, стр. 339-345. IEEE Computer Society, (2005)Verification of Adaptive Systems., , , , , и . Infotech@Aerospace, (2012)Software engineering and swarm-based systems., , , и . SEAMS@ICSE, стр. 97. ACM, (2006)You can't get there from here! Problems and potential solutions in developing new classes of complex computer systems., , , , и . IMCSIT, стр. 639-647. IEEE, (2008)