José M. Fonseca

According to our database, José M. Fonseca authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Verification of railway network models with EVEREST.

João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022