A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems

Hanêne Ben-Abdallah, Jin Young Choi, Duncan Clarke, Young Si Kim, Insup Lee, Hong Liang Xie

Research output: Contribution to journalArticlepeer-review

32 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science