@article{paperid:1066028, author = {Rezaeian, Amin and Ghavidel, Abolfazl and Sedaghat, Yasser}, title = {Safety Verification of Rate-Monotonic Least-Splitting Real-Time Scheduler on Multiprocessor System}, journal = {Journal of Computer and Knowledge Engineering}, year = {2017}, volume = {1}, number = {1}, month = {February}, issn = {2538-5453}, pages = {43--52}, numpages = {9}, keywords = {Rate-Monotonic Least Splitting; Semi-Partitioning; Hard real-time; Multiprocessor Scheduling.}, }