Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

Sergiy Bogomolov, Marius Greitschus, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis, Thomas Strump, Stavros Tripakis

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

492 Downloads (Pure)

Søgeresultater