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

von Dias, Fagner
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)