Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
AMRANI, Moussa; Lucio, Levi; Selim, Gehan M. K. et al.
2012In Proceedings of the First Workshop on Verification and Validation of Model Transformations
Peer reviewed
 

Files


Full Text
VOLT2012 IEEEFinal.pdf
Author preprint (209.94 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2013-022
Author, co-author :
AMRANI, Moussa ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Lucio, Levi
Selim, Gehan M. K.
Combemale, Benoit
Dingel, Juergen
Vangheluwe, Hans
LeTraon, Yves
Cordy, James R.
Language :
English
Title :
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Publication date :
2012
Event name :
First International Workshop on Verification and Validation of Model Transformations
Event place :
Montreal, QC, Canada
Event date :
April 21,2012
Main work title :
Proceedings of the First Workshop on Verification and Validation of Model Transformations
Pages :
921-928
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 09 January 2014

Statistics


Number of views
57 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
47
Scopus citations®
without self-citations
37

Bibliography


Similar publications



Contact ORBilu