A Technique for Automatic Validation of Model Transformations

AuthID
 P-003-C0V
3
Author(s)
3
Editor(s)
Petriu, DC; Rouquette, N; Haugen, O
Document Type
Proceedings Paper
Year published
2010
Published
in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6394, Issue: PART 1, Pages: 136-150 (15)
Conference
13Th International Conference on Model Driven Engineering Languages and Systems, Date: OCT 03-08, 2010, Location: Oslo, NORWAY, Sponsors: ACM, IEEE, SINTEF, Univ Oslo, Dept Informat
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/110619
Crossref®
Google Scholar®
Publication Identifiers
Dblp: conf/models/LucioBA10
Scopus: 2-s2.0-78349267243
Wos: WOS:000288719400010
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service