Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System. - Silvia Mazzini; Laura Baracchi; Stefano Puri; Mauro Pasquinelli; Diego Gerbaz; Joachim Fuchs; Valter Basso; Lorenzo Pace 003; Marco Lassalle; Juhani Viitaniemi (CIISE, 2014)

Applying Model-Based System Engineering to the Verification of Space Systems. - Lorenzo Pace 003 (2015)