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
 
Event type
Event for scientific audience
 
Start date
18-06-2012
End date
23-06-2012
 
Location
Bertinoro
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Vallecillo, Antonio ; Gogolla, Martin ; Burgueño, Loli ; Wimmer, Manuel ; Hamann, Lars Formal Specification and Testing of Model TransformationsKonferenzbeitrag Inproceedings2012
2Kaufmann, Petra ; Kappel, Gerti ; Langer, Philip ; Seidl, Martina ; Wieland, Konrad ; Wimmer, Manuel An Introduction to Model VersioningKonferenzbeitrag Inproceedings2012