A Model-Driven Approach for Formally Verifying SysML-Based Dynamic Software Architectures (short paper).

Camila Arajo

Browse the full ECSA paper archive.