Showing 1 - 2 results of 2 for search 'DAMASCENO, Adriana Carla.', query time: 0.04s Refine Results
  1. 1
    Towards a test generation approach for compositional real-time systems.
    by DAMASCENO, Adriana Carla.
    Published 2015
    Get full text
  2. 2
    Geração mecanizada de abstrações seguras para especificações CSP
    by DAMASCENO, Adriana Carla
    Published 2014
    Get full text
Search Tools: Get RSS Feed — Email this Search