Diego Ferreira

According to our database¹, Diego Ferreira authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Verifying Integrated Designs of UML State Machines and Activities Using CSP.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024