DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles
['Lennon Chaves', 'Iury V. Bessa', 'Hussama Ismail', 'Adriano Bruno dos Santos Frutuoso', 'Lucas Cordeiro', 'Eddie Batista de Lima Filho']
/
IEEE Transactions on Reliability
/ Vol. 67
/ No. 4
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？