| Verification and Design Exploration through Meta Tool Integration with OpenModelica | |
|---|---|
| Author | |
| Keywords | |
| Year of Conference |
2014
|
| Conference Name |
10th International Modelica Conference
|
| Volume |
Proceedings of the 10th International Modelica Conference
|
| Number of Pages |
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
|
| Series Title |
Linkoping Electronic Conference Proceedings, No 96
|
| Google Scholar | BibTeX | XML | |