A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs

Chao Peng, Haibo Zeng, Marco Di Natale. A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs. Real-Time Systems, 55(3):598-638, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.