Comprehensive Verification Framework for Dependability of Self-optimizing Systems.

Yuhong Zhao, Martin Kardos, Simon Oberthr, Franz J. Rammig

Browse the full ATVA paper archive.