Registered user since Tue 11 Aug 2020

Name:Marcel Oliveira
Country:Brazil
Affiliation:Federal University of Rio Grande do Norte

Contributions

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