Publications

Export 2 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: Author is Amrani, Moussa  [Clear All Filters]
2012
Lúcio, L, Syriani E, Amrani M, Zhang Q, Vangheluwe H.  2012.  
Invariant Preservation in Iterative Modeling.
Proceedings of the Fourth International Workshop on Models and Evolution.
Amrani, M, Lúcio L, Selim GMK, Combemale B, Dingel J, Vangheluwe H, Traon YL, Cordy JR.  2012.  
A Tridimensional Approach for Studying the Formal Verification of Model Transformations.
IEEE International Conference on Software Testing, Verification and Validation (ICST). :921-928.