Stem mec$ (all stems)
2 papers:
- SEKE-2008-CorreaMW #architecture #evolution #modelling #named
- Odyssey-MEC: Model Evolution Control in the Context of Model-Driven Architecture (CKFC, LGPM, CW), pp. 67–72.
- CAV-2004-GriffaultV #model checking
- The Mec 5 Model-Checker (AG, AV), pp. 488–491.