Navegando por Autor Caldas, Ricardo Diniz
Mostrando resultados 1 a 1 de 1
| Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 31-Jan-2018 | Dez-2017 | Prototipação e verificação formal de sistema autônomo com propriedades tempo-real : um estudo de caso no Body Sensor Network | Caldas, Ricardo Diniz | Rodrigues, Genaína Nunes | - |