Verification of ATL Transformations Using Transformation               Models and Model Finders

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Büttner, Fabian Egea, Marina Cabot, Jordi Gogolla, Martin
Editor:	Toshiaki Aoki and Kenji Taguchi	Volume:	7635
Book title:	Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Series:	Lecture Notes in Computer Science	Pages:	198-213


ISBN:	978-3-642-34280-6

@conference{ButtnerECG12, author = "Fabian B{\"u}ttner and Marina Egea and Jordi Cabot and Martin Gogolla", booktitle = "Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings", editor = "Toshiaki Aoki and Kenji Taguchi", isbn = "978-3-642-34280-6", note = "partners: ATOS-INRIA; projects: NESSoS, and Nouvelles E´quipes program of the Pays de la Loire region (France). No tier.", pages = "198-213", publisher = "Springer", series = "Lecture Notes in Computer Science", title = "{V}erification of {ATL} {T}ransformations {U}sing {T}ransformation {M}odels and {M}odel {F}inders", volume = "7635", year = "2012", }
Note:	partners: ATOS-INRIA; projects: NESSoS, and Nouvelles E´quipes program of the Pays de la Loire region (France). No tier.
[Bibtex]