Frank Hermann, Video: 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

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