Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo
O uso extensivo de controladores digitais implementados em ponto-fixo demandam um maior esforço para prevenir erros de projeto que aparecem no domínio discreto. Este trabalho descreve uma nova metodologia de verificação que emprega verificação de modelos limitada baseada em satisfação booleana e...
| Autor principal: | Ismail, Hussama Ibrahim |
|---|---|
| Outros Autores: | http://lattes.cnpq.br/0237240942570724 |
| Grau: | Dissertação |
| Idioma: | por |
| Publicado em: |
Universidade Federal do Amazonas
2016
|
| Assuntos: | |
| Acesso em linha: |
http://tede.ufam.edu.br/handle/tede/4984 |