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...
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 |
Similar Items
-
Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs
by: Silva, Rui Carlos Botelho Almeida da
Published: (2017) -
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
by: Almeida, Ariane Alves
Published: (2014) -
Basic Laws of Object Modeling
by: Ghevi, Rohit
Published: (2014) -
Proteção do envelope de voo usando a técnica não linear backstepping
by: Erik Osvaldo Pozo Irusta
Published: (2013) -
Resiliência aplicada ao controle de vôo
by: Comerlatto, Gustavo Ulisses
Published: (2012)