MC-Fluid: Simplified and Optimally Quantified

Sanjoy K. Baruah, Arvind Eswaran, Zhishan Guo. MC-Fluid: Simplified and Optimally Quantified. In 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015. pages 327-337, IEEE, 2015. [doi]

Abstract

Abstract is missing.