Design e validação formal de sistemas de controle de voo fly-by-wire

Made available in DSpace on 2014-06-12T15:56:13Z (GMT). No. of bitstreams: 2 arquivo2770_1.pdf: 3435334 bytes, checksum: c4ebc011cd6476e268421539acd59c8c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 === Associação para Promoção da Exc...

Full description

Bibliographic Details
Main Author: JESUS JUNIOR, Joabe Bezerra de
Other Authors: MOTA, Alexandre Cabral
Language:Portuguese
Published: Universidade Federal de Pernambuco 2014
Subjects:
Online Access:https://repositorio.ufpe.br/handle/123456789/2282