Constraint Refinement for Online Verifiable Cross-Layer System Adaptation
2019 ◽
Vol 9
(1S)
◽
pp. 121-126
Keyword(s):
Keyword(s):
2012 ◽
Vol 42
(10)
◽
pp. 1635-1651
◽
Keyword(s):