DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.
Lennon C. ChavesIury BessaHussama IsmailAdriano Bruno dos Santos FrutuosoLucas C. CordeiroEddie Batista de Lima FilhoPublished in: IEEE Trans. Reliab. (2018)