Pesquisar


Filtros correntes:
Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.

 | 
Resultados 1-1 of 1.
  • anterior
  • 1
  • Próximo
Itens encontrados:
Data de publicaçãoData de apresentaçãoTítuloAutor(es)Orientador(es)Coorientador(es)
31-Jan-2018Dez-2017Prototipação e verificação formal de sistema autônomo com propriedades tempo-real : um estudo de caso no Body Sensor NetworkCaldas, Ricardo DinizRodrigues, Genaína Nunes-