Showing 1 - 8 results of 8 for search 'NASA astronaut', query time: 0.05s 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
    Article of journal
    Software project planning through comparison of Bio-inspired algorithms
    Por Silva, Jesús; Varela Izquierdo, Noel; NEIRA MOLINA, HAROLD ROBERTO; Pineda, Omar
    Published in 2020
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
    Get full text
  3. 3
    Trabajo de grado de pregrado
    Analysis of Case 1 of the 5th High Lift Prediction Workshop with Ansys Fluent
    Por Santacruz Mejía, Nikolás
    Published in 2024
    Repositorio Séneca: repositorio Uniandes

    “... Institute of Aeronautics and Astronautics (AIAA) has developed over the last years a series of workshops...”
    Get full text
  4. 4
    Part of book
    Reliable Control Architecture with PLEXIL and ROS for Autonomous Wheeled Robots
    Por Cadavid, Héctor; Pérez, Alexander; Rocha, Camilo
    Published in 2017
    Repositorio Repositorio Institucional ECI

    “... the Robot Operating System ( ROS ). PLEXIL is a synchronous reactive language developed by NASA for mission...”
    Get full text
    Get full text
  5. 5
    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
  6. 6
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu
    Published in 2012
    Repositorio Repositorio Institucional ECI

    “... by NASA for commanding and monitoring autonomous systems. This paper reports the development...”
    Get full text
  7. 7
    Article of journal
    Rewriting Logic Semantics of a Plan Execution Language
    Por Dowek, Gilles; Muñoz, César; Rocha, Camilo
    Published in 2010
    Repositorio Repositorio Institucional ECI

    “...The Plan Execution Interchange Language (PLEXIL) is a synchronous language developed by NASA...”
    Get full text
  8. 8
    Article of journal
    Latin American space activities in the 21st century: an update
    Por Ospina, Sylvia
    Published in 2017
    Repositorio RIUCaC - Repositorio U. Católica

    Get full text
Search Tools: Get RSS Feed — Email this Search