Improving the Analysis of GPC in Real-Time Calculus

Yue Tang, Yuming Jiang, Nan Guan. Improving the Analysis of GPC in Real-Time Calculus. In Nan Guan, Joost-Pieter Katoen, Jun Sun 0001, editors, Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Volume 11951 of Lecture Notes in Computer Science, pages 106-121, Springer, 2019. [doi]

Authors

Yue Tang

This author has not been identified. Look up 'Yue Tang' in Google

Yuming Jiang

This author has not been identified. Look up 'Yuming Jiang' in Google

Nan Guan

This author has not been identified. Look up 'Nan Guan' in Google