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

Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter. Research Questions for Validation and Verification in the Context of Model-Based Engineering. In Frédéric Boulanger, Michalis Famelis, Daniel Ratiu, editors, Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, October 1st, 2013. Volume 1069 of CEUR Workshop Proceedings, pages 67-76, CEUR-WS.org, 2013. [doi]

Abstract

Abstract is missing.