Automated Synthesis of a Real-Time Scheduling for Cyber-Physical Multi-core Systems.
Johannes Geismann, Robert Httger, Lukas Krawczyk, Uwe Pohlmann, David Schmelter
VenueCMODELSWARD
Year2017
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/GeismannHKPS17 ↗
Browse the full MODELSWARD paper archive.