Mostrando 1 - 2 resultados de 2 para a busca 'DAMASCENO, Adriana Carla', tempo de busca: 0,04s

1

Geração mecanizada de abstrações seguras para especificações CSP

Publicado em 2008
Acessar documento
Dissertação

2

Towards a test generation approach for compositional real-time systems.

Publicado em 2015
Acessar documento
Tese