Verification and design Exploration through Meta tool integration with OpenModelica. Zsolt Lattmann, A. P., Johan de Kleer, P. F., Bill Janssen, S. N., Ted Bapty, X. K., Matthew Klenk, D. B., & Bhaskar Saha, T. K. In Proceedings of the 10th International Modelica Conference, Lund, Sweden, 2014.
bibtex   
@inproceedings{lattmann.modelica.2014,
  author={Zsolt Lattmann, Adrian Pop, Johan de Kleer, Peter Fritzson, Bill Janssen, Sandeep Neema, Ted Bapty,  Xenofon Koutsoukos, Matthew Klenk, Daniel Bobrow, Bhaskar Saha, Tolga Kurtoglu},
  booktitle={Proceedings of the 10th International Modelica Conference},
  title={Verification and design Exploration through Meta tool integration with OpenModelica},
  year={2014},
  %venuetype={Conference},
  address={Lund, Sweden}
}
Downloads: 0