Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties
Keyword(s):
2008 ◽
Vol 73
(1)
◽
pp. 39-58
◽
Keyword(s):
Keyword(s):
Keyword(s):