Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking.

Zonghua Gu, Xiuqiang He, Mingxuan Yuan

Browse the full DAC paper archive.