Verification and Design Exploration through Meta Tool Integration with OpenModelica

TitleVerification and Design Exploration through Meta Tool Integration with OpenModelica
Publication TypeConference Proceedings
Year of Conference2014
AuthorsLattmann, 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 DesignationDoes Not Apply
Conference Name10th International Modelica Conference
Series Title Linkoping Electronic Conference Proceedings, No 96
VolumeProceedings of the 10th International Modelica Conference
Pagination353-362
Date Published03/2014
PublisherModelica Association and Linkoping University Electronic Press
Conference LocationLund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN
ISBN Number 978-91-7519-380-9
AttachmentSize
Modelica2014_ecp14096037.pdf1.51 MB