Search Results - Busquim e Silva, Rovedy Aparecida

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Formal Verification With Frama-C: A Case Study in the Space Software Domain

    Formal Verification With Frama-C: A Case Study in the Space Software Domain by Busquim e Silva, Rovedy Aparecida, Arai, Nanci Naomi, Akemi Burgareli, Luciana, Parente de Oliveira, Jose Maria, Sousa Pinto, Jorge

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Modeling conflicts resolution of unmanned aircraft system using a lightweight duration calculus

    Modeling conflicts resolution of unmanned aircraft system using a lightweight duration calculus by Correa, Guilherme, Ramos, Diogo Branquinho, e Silva, Rovedy Aparecida Busquim, Costa, Inaldo Capistrano, Colonese, Emilia M., de Oliveira, Jose Maria Parente

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Modeling conflicts resolution of Unmanned Aircraft System using a lightweight Duration Calculus

    Modeling conflicts resolution of Unmanned Aircraft System using a lightweight Duration Calculus by Branquinho Ramos, Diogo, Aparecida Busquim e Silva, Rovedy, Capistrano Costa, Inaldo, Colonese, Emilia M., Parente de Oliveira, Jose Maria

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: