Vol-2977⫷ Vol-2978 ⫸Vol-2979
urn:nbn:de:0074-2978-0


Vol-2978/ds-paper100⫷Vol-2978/ds-paper102⫸Vol-2978/ds-paper104
Camila Araújo

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