Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems.

Johannes Geismann, Uwe Pohlmann, David Schmelter

Browse the full MODELSWARD paper archive.