
Registered user since Wed 22 Mar 2017
Name: Everton Cavalcante
Country: Brazil
Affiliation: Federal University of Rio Grande do Norte
Personal website: http://www.dimap.ufrn.br/~everton/
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