Research Questions for Validation and Verification in the Context of Model-Based Engineering.

Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nbrega, Ileana Ober, Martina Seidl, Markus Vlter

Browse the full MODELS paper archive.