1st MVV2009 Model-Based Verification & Validation From Research to Practice

was organised in conjunction with SSIRI 2009, 3d IEEE International Conference on Secure Software Integration
and Reliability Improvement, in Shanghai, 9 July 2009.