Adriano Bruno dos Santos Frutuoso

According to our database, Adriano Bruno dos Santos Frutuoso authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles.

Lennon C. Chaves, Iury Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas C. Cordeiro, Eddie Batista de Lima Filho

IEEE Trans. Reliab., 2018