Vaston Gonçalves da COSTA

Open Access

08 - Verificação formal de sistemas digitais embarcados

SILVA, Nayara de Souza ; COSTA, Vaston Gonçalves da ; Stoppa, Marcelo Henrique

Tecnologias em pesquisa: engenharias, april 2017, num. 1

PDF - p.121-134
Open Access

10 - Emprego de análise formal no processo de gerenciamento de habilidades

DIAS, Luiz Gustavo ; COSTA, Vaston Gonçalves da

Tecnologias em pesquisa: ciências exatas e biológicas, april 2017, num. 1

PDF - p.147-154