Towards Static Analysis of Policy-Based Self-adaptive Computing Systems.

Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese

Browse the full ISoLA paper archive.