@inproceedings{inproceedings, title = {{MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation}}, url = {{}}, year = {{2018}}, month = {{1}}, author = {{Abid S and Balaban M and Bibal A and Bisson G and Boulanger F and Bouquet F and Chechik M and Chen H and Cheng CH and De Lara J and Derrick J et al}}, volume = {{2245}}, journal = {{CEUR Workshop Proceedings}}, pages = {{553-554}}, note = {{Accessed on 2024/12/20}}}