From post

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'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)Experience Using Formal Methods for Specifying a Multi-Agent System., , и . ICECCS, стр. 72-. IEEE Computer Society, (2000)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)Next generation system and software architectures: Challenges from future NASA exploration missions., , , , и . Sci. Comput. Program., 61 (1): 48-57 (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)A Formal Approach to Requirements-Based Programming., , и . ECBS, стр. 339-345. IEEE Computer Society, (2005)An Approach to Generating and Verifying Complex Scripts and Procedures., , и . CSB Workshops, стр. 305-313. IEEE Computer Society, (2005)Managing the Evolution of an Enterprise Architecture Using a MAS-Product-Line Approach., , , , и . Software Engineering Research and Practice, стр. 995-1001. CSREA Press, (2006)