Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP.

Fagner Dias, Marcel Oliveira, Thas Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flvio Oquendo, Camila Arajo

Browse the full ECSA paper archive.