TY - CHAP U1 - Konferenzveröffentlichung A1 - Geier, Martin A1 - Jäger, Steffen A1 - Stier, Christian A1 - Albers, Albert T1 - Combined real and virtual domain product validation using top-down strategies T2 - ASME Verification and Validation Symposium: V&V2012; May, 2-4, 2012, Las Vegas, Nevada Y1 - 2012 ER -