Vol-1299⫷ Vol-1300 ⫸Vol-1301
urn:nbn:de:0074-1300-0


Vol-1300/paper9⫷Vol-1300/paper11⫸Vol-1300/paper10
Laura BaracchiJuhani ViitaniemiValter BassoJoachim FuchsStefano PuriLorenzo PaceMarco LassalleMauro PasquinelliSilvia MazziniDiego Gerbaz

Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System