Abstraction Techniques for Compositional State-Based Scheduling Analysis

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand. Abstraction Techniques for Compositional State-Based Scheduling Analysis. In 2012 Brazilian Symposium on Computing System Engineering, Natal, Brazil, November 5-7, 2012. pages 166-171, IEEE, 2012. [doi]

Bibliographies