Using SPARK as a Solver for Modelica

Publication Type

Conference Paper

Date Published

07/2008

Authors

Journal

SimBuild 2008

Year of Publication

2008

Organization

Research Areas