Export 2 results:
Sort by: Author [ Title  (Asc)] Type Year
Filters: Author is Amrani, Moussa  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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.