 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01435977v1
Communication dans un congrès
Massimo Tisi, Zheng Cheng. A Deductive Approach for Fault Localization in ATL Model Transformations FASE 2017 - 20th International Conference on Fundamental Approaches to Software Engineering, Apr 2017, Uppsala, Sweden |
||
|
hal-01435974v1
Communication dans un congrès
Zheng Cheng, Massimo Tisi. Incremental Deductive Verification for Relational Model Transformations ICST 2017 - 10th IEEE International Conference on Software Testing, Verification and Validation, Mar 2017, Tokyo, Japan. <http://aster.or.jp/conference/icst2017/> |
||
|
hal-01557430v1
Communication dans un congrès
Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini et al. The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems European Projects in Digital Systems Design (EPDSD) - Euromicro DSD/SEAA 2017, Aug 2017, Vienna, Austria. <http://dsd-seaa2017.ocg.at> |
||
|
|
||