2nd Workshop on the Verification of Model Transformation (VOLT) @ STAF 2013
Event name
2nd Workshop on the Verification of Model Transformation (VOLT) @ STAF 2013
Event type
Event for scientific audience
Start date
17-06-2013
Location
Budapest, Hungary
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina | A Classification of Model Checking-Based Verification Approaches for Software Models | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Burgueño, Loli ; Wimmer, Manuel ; Troya, Javier ; Vallecillo, Antonio | On the Realization of TractsTool | Präsentation Presentation | 2013 |