Travelled to:1 × Austria
1 × Canada
Collaborated with:J.Dingel L.Lúcio L.Lambers R.Salay G.Selim E.Syriani M.Wimmer G.M.K.Selim B.Combemale H.Vangheluwe Y.L.Traon J.R.Cordy
Talks about:transform (2) model (2) tridimension (1) approach (1) catalog (1) toward (1) intent (1) formal (1) verif (1) studi (1)
Person: Moussa Amrani
DBLP: Amrani:Moussa
Contributed to:
2012
2012Wrote 2 papers:
- AMT-2012-AmraniDLLSSSW #model transformation #towards
- Towards a model transformation intent catalog (MA, JD, LL, LL, RS, GS, ES, MW), pp. 3–8.
- ICST-2012-AmraniLSCDVTC #approach #model transformation #verification
- A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.