Showing 1 - 2 results of 2 for search 'NASA astronaut', query time: 0.02s Refine Results
  1. 1
    Part of book
    A Graphical Environment for the Semantic Validation of a Plan Execution Language
    Por Rocha, Camilo; Muñoz, Cesar; Cadavid, Hector
    Published in 2009
    Repositorio Repositorio Institucional ECI

    Subjects: “...NASA...”
    Get full text
  2. 2
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Cadavid Rengifo, Hector Fabio; Rocha, Camilo; Muñoz, Cesar
    Published in 2012
    Repositorio Repositorio Institucional ECI

    “... by NASA for commanding and monitoring autonomous systems. This paper reports the development...”
    Get full text
Search Tools: Get RSS Feed — Email this Search