Write a Blog >>
ECSA 2020
Mon 14 - Fri 18 September 2020 L'Aquila, Italy
Everton Cavalcante

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