(Institute of Electrical and Electronics Engineers Inc., 2012) Tuğlular, Tuğkan; Linschulte, Michael
Welcome to MVV 2012 – The Fourth International Workshop on Model-Based Verification &
Validation, which is to be held in conjunction with The Sixth International Conference on
Software Security and Reliability (SERE 2012) in Washington, D.C. USA from 20-22 June, 2012.
