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


Vol-1300/paper9⫷Vol-1300/paper11⫸Vol-1300/paper10
Diego GerbazJuhani ViitaniemiValter BassoJoachim FuchsStefano PuriLorenzo PaceLaura BaracchiMarco LassalleMauro PasquinelliSilvia Mazzini

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