Showing 1 - 5 results of 5 for search '"NASA"', query time: 0.02s Refine Results
  1. 1
    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
  2. 2
    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
  3. 3
    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
  4. 4
    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
  5. 5
    Trabajo de grado de pregrado
    Sustituciones explícitas y todo eso
    Por Ayala Rincón, Mauricio; Muñoz, César
    Published in 2000
    Repositorio Repositorio UNAB

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