Title | Verification and Design Exploration through Meta Tool Integration with OpenModelica |
Publication Type | Conference Proceedings |
Year of Conference | 2014 |
Authors | Lattmann, Z., A. Pop, J. de Kleer, P. Fritzson, B. Janssen, S. Neema, T. Bapty, X. Koutsoukos, M. Klenk, D. Bobrow, B. Saha, and T. Kurtoglu |
Refereed Designation | Does Not Apply |
Conference Name | 10th International Modelica Conference |
Series Title | Linkoping Electronic Conference Proceedings, No 96 |
Volume | Proceedings of the 10th International Modelica Conference |
Pagination | 353-362 |
Date Published | 03/2014 |
Publisher | Modelica Association and Linkoping University Electronic Press |
Conference Location | Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN |
ISBN Number | 978-91-7519-380-9 |