Verificação de modelos aplicada ao projeto de controladores digitais implementados em processadores de ponto-fixo

Submitted by Bianca Neves (oliveirabia1@ymail.com) on 2016-04-20T19:50:59Z No. of bitstreams: 1 Dissertação -Hussama Ibrahim Ismail.pdf: 7224207 bytes, checksum: 580676e0f2285e31f50bddf1814c3d9b (MD5) === Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu...

Full description

Bibliographic Details
Main Author: Ismail, Hussama Ibrahim
Other Authors: Cordeiro, Lucas Carvalho
Format: Others
Language:Portuguese
Published: Universidade Federal do Amazonas 2016
Subjects:
Online Access:http://tede.ufam.edu.br/handle/tede/4984