Showing 1 - 17 results of 17 for search '"NASA"', query time: 0.06s 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
    Bioescenarios III.
    Por Mora, Juan José; Robayo Rodríguez, Sandra Milena
    Published in 2008
    Repositorio Repositorio Institucional ECI

    Get full text
  3. 3
    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
  4. 4
    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
  5. 5
    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
  6. 6
    Article of journal
    Synchronous set relations in rewriting logic
    Por Muñoz, César; Rocha Niño, Hernán Camilo
    Published in 2014
    Repositorio Repositorio Institucional ECI

    “... by NASA to support autonomous spacecraft operations....”
    Get full text
  7. 7
    Article of journal
    Rewriting modulo SMT and open system analysis
    Por Rocha, Camilo; Meseguer, José; Muñoz, César
    Published in 2016
    Repositorio Repositorio Institucional ECI

    Get full text
  8. 8
    Article of journal
    A formal library of set relations and its application to synchronous languages
    Por Rocha, Camilo; Muñoz, César; Dowek, Gilles
    Published in 2011
    Repositorio Repositorio Institucional ECI

    “... Execution Interchange Language (PLEXIL), a rich synchronous plan execution language developed by NASA...”
    Get full text
  9. 9
    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
  10. 10
    Conferencia (Ponencia)
    Simulation and Verification of Synchronous Set Relations in Rewriting Logic
    Por Rocha, Camilo; Múñoz, César
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  11. 11
    Article of investigation
    A self-adaptive hardware architecture with fault tolerance capabilities
    Por Moreno, Juan Manuel; Soto Vargas, Javier Evandro; Cabestany, Joan
    Published in 2013
    Repositorio Repositorio Institucional ECI

    Get full text
    Get full text
    Get full text
  12. 12
    Article of investigation
    Hardware and software architecture for Plexil-based, simulation supported, robot automation
    Por Cadavid Rengifo, Héctor Fabio; Chaparro Preciado, Javier Alberto
    Published in 2016
    Repositorio Repositorio Institucional ECI

    “... novel application of Plexil - an experimental synchronous programming language developed by NASA...”
    Get full text
  13. 13
    Article of investigation
    FE Model and Operational Modal Analysis of Lower Limbs
    Por Munera Ramirez, Marcela Cristina; Pionteck, Aymeric; Chiementin, Xavier; Murer, Sébastien; Chadefaux, Delphine; Rao, Guillaume
    Published in 2017
    Repositorio Repositorio Institucional ECI

    Get full text
    Get full text
  14. 14
    Article of investigation
    Parallel Programming to Analyze Crop-Health in Real-Time
    Por Molina Muñoz, Angie Natalia; Brunn, Ansgar; Chaparro, Javier; Pérez, Alexander
    Published in 2019
    Repositorio Repositorio Institucional ECI

    Get full text
  15. 15
    Article of journal
    Documentation-as-code for Interface Control Document Management in Systems of Systems: a Technical Action Research Study
    Por Cadavid, Héctor; Andrikopoulos, Vasilios; Avgeriou, Paris
    Published in 2022
    Repositorio Repositorio Institucional ECI

    Get full text
    Get full text
  16. 16
    Article of investigation
    Hacia la excelencia en la gerencia de proyectos a través del proceso de lecciones aprendidas
    Por Díaz Niño, Clara Inés; Fraile Neira, Diana Milena; Rodríguez Higuita, Diana Yesenia; Giraldo González, Germán Eduardo
    Published in 2015
    Repositorio Repositorio Institucional ECI

    Get full text
    Get full text
    Get full text
    Get full text
  17. 17
    Article of journal
    Improving hardware/software interface management in systems of systems through documentation as code
    Por Cadavid, Héctor; Andrikopoulos, Vasilios; Avgeriou, Paris
    Published in 2023
    Repositorio Repositorio Institucional ECI

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