From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics

Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, Robert B. France. From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. In Hans-Georg Fill, Dimitris Karagiannis, Ulrich Reimer, editors, Modellierung 2014, 19.-21. März 2014, Wien, Österreich. Volume 225 of LNI, pages 273-288, GI, 2014.

Abstract

Abstract is missing.