Insup Lee;Duncan Clarke;Hong-Liang Xie
-;-;-
A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems
Real-Time Systems