Video: Frank Hermann, "Correctness and Completeness for Incremental Model Synchronisation Based on TGGs"

Video From 13w5115: Bi-directional transformations (BX) – Theory and Applications Across Disciplines

Wednesday, December 4, 2013 11:00 - 11:18

Correctness and Completeness for Incremental Model Synchronisation Based on TGGs

Frank Hermann, Video: Correctness and Completeness for Incremental Model Synchronisation Based on TGGs

Frank Hermann, Correctness and Completeness for Incremental Model Synchronisation Based on TGGs, Bi-directional transformations (BX) – Theory and Applications Across Disciplines, BIRS, BIRS talk, 13w5115, math, mathematics, video

Banff International Research Station

presentation

mpeg4

52M

http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos

http://www.birs.ca/events/2013/5-day-workshops/13w5115/videos/watch/201312041100-Hermann.html

Download this video (52M)