Flávia Falcão

According to our database¹, Flávia Falcão authored at least 3 papers between 2008 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

A formal component model for UML based on CSP aiming at compositional verification.

[BibT_eX]

[DOI]

Softw. Syst. Model., June, 2024

2018

Safe and Constructive Design with UML Components.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2008

Multiple Synchrony in MSC.

[BibT_eX]

[DOI]

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008