Formal Methods for Model-Driven Engineering
Book title Buchtitel
Formal Methods for Model-Driven Engineering
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNCS 7320
Series Schriftenreihe
Lecture Notes in Computer Science
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kaufmann, Petra ; Kappel, Gerti ; Langer, Philip ; Seidl, Martina ; Wieland, Konrad ; Wimmer, Manuel ; Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso | An Introduction to Model Versioning | Konferenzbeitrag Inproceedings | 2012 | |
| 2 | Vallecillo, Antonio ; Gogolla, Martin ; Burgueño, Loli ; Wimmer, Manuel ; Hamann, Lars ; Bernardo, Marco ; Cortellessa, Vittorio ; Pierantonio, Alfonso | Formal Specification and Testing of Model Transformations | Konferenzbeitrag Inproceedings | 2012 |