(Institute of Electrical and Electronics Engineers Inc., 2012) Tuğlular, Tuğkan; Tuğlular, Tuğkan; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of Technology
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.
