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

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. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece. IEEE, 2006. [doi]

Authors

James C. Browne

This author has not been identified. Look up 'James C. Browne' in Google

Calvin Lin

This author has not been identified. Look up 'Calvin Lin' in Google

Kevin Kane

This author has not been identified. Look up 'Kevin Kane' in Google

Yoonsik Cheon

This author has not been identified. Look up 'Yoonsik Cheon' in Google

Patricia J. Teller

This author has not been identified. Look up 'Patricia J. Teller' in Google