Verificação Formal de Programas C++ que Usam o Framework Multi-Plataforma QT
Nossa dependência no funcionamento correto de sistemas embarcados está aumentando rapidamente. A grande difusão de dispositivos móveis e da evolução dos softwares e hardwares que os compõe é um bom exemplo da importância desses sistemas. Os mesmos estão se tornando cada vez mais complexos e requerem...
| Autor principal: | Felipe Rodrigues Monteiro Sousa |
|---|---|
| Grau: | Relatório de Pesquisa |
| Idioma: | pt_BR |
| Publicado em: |
Universidade Federal do Amazonas
2016
|
| Assuntos: | |
| Acesso em linha: |
http://riu.ufam.edu.br/handle/prefix/3103 |