Formal analysis of policy-based self-adaptive systems.

Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili

Browse the full SAC paper archive.