Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis, Thomas Strump, Stavros Tripakis

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Original languageEnglish
Title of host publication11th International Modelica Conference, Palais des Congrès de Versailles, France, September 21 -23, 2015
Place of PublicationLinkoping University Electronic Press
PublisherLINKÖPING UNIVERSITY ELECTRONIC PRESS
ISBN (Print)978-91-7685-955-1
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

Name
PublisherLinkoping University Electronic Press
ISSN (Print)1650-3686

Cite this