Registered user since Sun 29 Aug 2021
Name:Camila Araújo
Country:Brazil
Affiliation:State University of Rio Grande do Norte
Contributions
| ECSA 2020 | Empowering SysML-based Software Architecture Description with Formal Verification: From SysADL to CSP | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECSA 2020-profile
View general profile
View general profile