Making Modelica Applicable for Formal Methods. Matthew Klenk, D. B. & Johan de Kleer, B. J. In Proceedings of the 10th International Modelica Conference, Lund, Sweden, 2014.
Making Modelica Applicable for Formal Methods [pdf]Paper  bibtex   
@inproceedings{klenk.modelica.2014,
  author={Matthew Klenk, Daniel Bobrow, Johan de Kleer, Bill Janssen},
  booktitle={Proceedings of the 10th International Modelica Conference},
  title={Making Modelica Applicable for Formal Methods},
  year={2014},
  %venuetype={Conference},
  address={Lund, Sweden},
  url={http://www.matthewklenk.com/papers/ModelicaPainPointsForQR.pdf}
}
Downloads: 0