TY - CONF T1 - MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation JO - CEUR Workshop Proceedings PY - 2018/01/01 AU - Abid S AU - Balaban M AU - Bibal A AU - Bisson G AU - Boulanger F AU - Bouquet F AU - Chechik M AU - Chen H AU - Cheng CH AU - De Lara J AU - Derrick J et al ED - VL - 2245 SP - 553 EP - 554 Y2 - 2024/12/26 ER -