Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms.

Salwa Habbachi, Zhiwu Li, Mohamed Khalgui

Browse the full VECoS paper archive.