Showing 1 - 5 results of 5 for search '"library"', query time: 0.06s Refine Results
  1. 1
    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

    “... of synchronous languages. In this paper, a formal library of set relations for the definition, verification...”
    Get full text
  2. 2
    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
  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

    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

    Get full text
  5. 5
    Part of book
    Towards a Maude Formal Environment
    Por Durán, Francisco; Rocha, Camilo; Álvarez, José María
    Published in 2011
    Repositorio Repositorio Institucional ECI

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