1. Universidade Federal do Rio Grande do Norte

Página de Busca


Filtros correntes:



Retornar valores
Adicionar filtros:

Utilizar filtros para refinar o resultado de busca.

 | 
Resultado 1-4 de 4.
  • Anterior
  • 1
  • Póximo
Conjunto de itens:
Data do documentoTítuloAutor(es)
22-Fev-2018A strategy to verify the code generation from concurrent and state-rich circus specifications to executable codeBarrocas, Samuel Lincoln Magalhães
12-Ago-2016Local livelock analysis of component-based modelsConserva Filho, Madiel de Souza
14-Abr-2016Beta: a B based testing approachMatos, Ernesto Cid Brasil de
8-Mar-2016Método B e a síntese verificada para código de montagemMedeiros Júnior, Valério Gutemberg de

Busca facetada