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.

Authors

Martin Gogolla

This author has not been identified. It may be one of the following persons: Look up 'Martin Gogolla' in Google

Lars Hamann

This author has not been identified. Look up 'Lars Hamann' in Google

Frank Hilken

This author has not been identified. Look up 'Frank Hilken' in Google

Mirco Kuhlmann

This author has not been identified. Look up 'Mirco Kuhlmann' in Google

Robert B. France

This author has not been identified. It may be one of the following persons: Look up 'Robert B. France' in Google