Publications

List
Filter

Export 2 results:

Sort by: [ Author

] Title 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

A

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.

L

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.