%0 Conference Proceedings
%T Overrun-freeness verification of Rate-Monotonic Least-Splitting Real-Time Scheduler on Multicores
%A Naghibzadeh, Mahmoud
%A  Rezaeian, Amin
%J 26th Euromicro Conference on Real-Time Systems
%D 2014