Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Camila Araújo
conf.researchr.org general profile
ECSA 2020 profile
ECSA 2021 profile
Registered user since Sun 29 Aug 2021
Name:
Camila Araújo
Country:
Brazil
Affiliation:
State University of Rio Grande do Norte
Contributions
2021
ECSA
Author of A Model-Driven Approach for Formally Verifying SysML-Based Dynamic Software Architectures within the Doctoral Symposium-track
2020
ECSA
Author of Empowering SysML-based Software Architecture Description with Formal Verification: From SysADL to CSP within the Research Papers-track
Share
x
Sat 23 Nov 22:13