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.

@inproceedings{GogollaHHKF14,
  title = {From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics},
  author = {Martin Gogolla and Lars Hamann and Frank Hilken and Mirco Kuhlmann and Robert B. France},
  year = {2014},
  researchr = {https://researchr.org/publication/GogollaHHKF14},
  cites = {0},
  citedby = {0},
  pages = {273-288},
  booktitle = {Modellierung 2014, 19.-21. März 2014, Wien, Österreich},
  editor = {Hans-Georg Fill and Dimitris Karagiannis and Ulrich Reimer},
  volume = {225},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-619-0},
}