International School on Formal Methods for the Design of Computer, Communcation, and Software Systems
Event name
International School on Formal Methods for the Design of Computer, Communcation, and Software Systems
Start date
18-06-2012
End date
23-06-2012
Location
Bertinoro, Italy
Country
Event format Veranstaltungsformat
On Site
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 |