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]
@inproceedings{DuboisFGNOSV13,
title = {Research Questions for Validation and Verification in the Context of Model-Based Engineering},
author = {Catherine Dubois and Michalis Famelis and Martin Gogolla and Leonel Nóbrega and Ileana Ober and Martina Seidl and Markus Völter},
year = {2013},
url = {http://ceur-ws.org/Vol-1069/10-paper.pdf},
researchr = {https://researchr.org/publication/DuboisFGNOSV13},
cites = {0},
citedby = {0},
pages = {67-76},
booktitle = {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},
editor = {Frédéric Boulanger and Michalis Famelis and Daniel Ratiu},
volume = {1069},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}