Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Next generation system and software architectures: Challenges from future NASA exploration missions., , , , und . 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., , , , und . IMCSIT, Seite 639-647. IEEE, (2008)A Formal Approach to Requirements-Based Programming., , und . ECBS, Seite 339-345. IEEE Computer Society, (2005)A requirements-based programming approach to developing a NASA autonomous ground control system., , , , und . Artif. Intell. Rev., 25 (4): 285-297 (2006)An Approach to Generating and Verifying Complex Scripts and Procedures., , und . CSB Workshops, Seite 305-313. IEEE Computer Society, (2005)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)Experience Using Formal Methods for Specifying a Multi-Agent System., , und . ICECCS, Seite 72-. IEEE Computer Society, (2000)Formal Approaches to Intelligent Swarms., , , und . SEW, Seite 51. IEEE Computer Society, (2003)Autonomicity of NASA Missions., , , , und . ICAC, Seite 387-388. IEEE Computer Society, (2005)Modeling for NASA Autonomous Nano-Technology Swarm Missions and Model-Driven Autonomic Computing., , , , und . AINA, Seite 250-257. IEEE Computer Society, (2007)