Gabriel Duarte Pasa

According to our database, Gabriel Duarte Pasa authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Aircraft Navigation Systems Safety Assessment via Probabilistic Model Checking.

Gabriel Duarte Pasa, Valdivino Alexandre de Santiago Júnior

Proceedings of the Computational Science and Its Applications - ICCSA 2021, 2021