Not registered as user yet

Name: Camila Araújo

Country: Brazil

Affiliation: State University of Rio Grande do Norte

Contributions

ECSA 2020Author of Empowering SysML-based Software Architecture Description with Formal Verification: From SysADL to CSP within the Research Papers-track