Fagner Dias

According to our database, Fagner Dias authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.

Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo

Proceedings of the Software Architecture - 14th European Conference, 2020