Constraint Refinement for Online Verifiable Cross-Layer System Adaptation.

Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian

Browse the full DATE paper archive.