A Formal Framework for Compositional Verification of Organic Computing Systems.

Florian Nafz, Hella Seebach, Jan-Philipp Steghfer, Simon Bumler, Wolfgang Reif

Browse the full ATC paper archive.