![](/img/cover-not-exists.png)
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles
Chaves, Lennon, Bessa, Iury V., Ismail, Hussama, dos Santos Frutuoso, Adriano Bruno, Cordeiro, Lucas, de Lima Filho, Eddie BatistaVolume:
67
Language:
english
Journal:
IEEE Transactions on Reliability
DOI:
10.1109/TR.2018.2873260
Date:
December, 2018
File:
PDF, 13 KB
english, 2018