Compositional Schedulability Analysis of Real -Time Using Time Petri Nets

Xu, Y. X.

Compositional Schedulability Analysis of Real -Time Using Time Petri Nets - 984-996 p.


Real-Time Systems