Logo

September 21-23, 2015 in Palais des Congrès de Versailles, France
[Proceedings] [Sessions] [Authors] [Schedule] [Further material]

Papers by Peter G. Jensen:

Title: Co-Simulation of Hybrid Systems with SpaceEx and Uppaal
Authors: Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Thomas Strump and Stavros Tripakis
Links: Abstract, Full paper