Co-Simulation of Hybrid Systems with SpaceEx and Uppaal
| Title | Co-Simulation of Hybrid Systems with SpaceEx and Uppaal |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis, Thomas Strump, Stavros Tripakis |
| Conference Name | Proceedings of the 11th International Modelica Conference |
| Publisher | Linkoping University Electronic Press |
| Keywords | 1329759 |
| URL | http://www.ep.liu.se/ecp_article/index.en.aspx?issue=118;article=017 |
| Citation Key | modelica2015FMI |