ACM
Highly Adaptable and Trustworthy Software using Forma Methods
Annual ACM Symposium on Applied Computing
Computer Security

Jaghoori, M. M. (2011). From Nonpreemptive to Preemptive Scheduling – From Single-Processor to Multi-Processor. Proceedings of Annual ACM Symposium on Applied Computing 2011, 717–722.