A tridimensional approach for studying the formal verification of model transformations

Moussa Amrani, Levi Lúcio, Gehan Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Empreinte digitale

Examiner les sujets de recherche de « A tridimensional approach for studying the formal verification of model transformations ». Ensemble, ils forment une empreinte digitale unique.

Computer Science