Showing 1 - 3 results of 3 for search 'Luciana Brasil Rebelo dos Santos', query time: 0.03s Refine Results
  1. 1
    A methodology to apply formal verification to UML-based software
    Get full text
  2. 2
    Um modelo de dados para configuração da simulação no desenvolvimento de aplicações de redes de sensores sem fio.
    Get full text
    Others
  3. 3
    Transformation of UML Behavioral Diagrams to Support Software Model Checking
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search