Unification of verification and validation methods for software systems: progress report and initial case study formulation.

Sun, 01 Jan 2006 00:00:00 +0100

James C. Browne, Calvin Lin, Kevin Kane, Yoonsik Cheon, Patricia J. Teller:
Unification of verification and validation methods for software systems: progress report and initial case study formulation. IPDPS 2006