Mostrando 1 - 2 resultados de 2 para a busca 'Barrocas, Samuel Lincoln Magalhães', tempo de busca: 0,01s

1

A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code

Publicado em 2018
Acessar documento
Tese

2

JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

Publicado em 2011
Acessar documento
Dissertação