Rami Baddour, Alkiviadis Paspaliaris, Daniel Solis Herrera. SCV2: A model-based validation and verification approach to system-of-systems engineering. In 10th System of Systems Engineering Conference, SoSE 2015, San Antonio, TX, USA, May 17-20, 2015. pages 422-427, IEEE, 2015. [doi]
Abstract is missing.