Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties

James H. Hill, Aniruddha S. Gokhale. Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties. In 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008. pages 1-8, IEEE, 2008. [doi]

Abstract

Abstract is missing.