Opening book details…
About this Engineering article
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles by Chaves, Lennon; Bessa, Iury V.; Ismail, Hussama; dos Santos Frutuoso, Adriano Bruno; Cordeiro, Lucas; de Lima Filho, Eddie Batista is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Chaves, Lennon; Bessa, Iury V.; Ismail, Hussama; dos Santos Frutuoso, Adriano Bruno; Cordeiro, Lucas; de Lima Filho, Eddie Batista
- Publisher
- IEEE; Institute of Electrical and Electronics Engineers; Institute of Electrical and Electronics Engineers (IEEE) (ISSN 0018-9529)
- Published
- 2018
- Language
- EN
- Field
- Engineering (Physical Sciences)