A first approach to the closed-form specification and analysis of an autonomic control system.

Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shannon, Aaron J. Quigley

Browse the full ICECCS paper archive.