ActivFORMS: active formal models for self-adaptation.

M. Usman Iftikhar, Danny Weyns

Browse the full ICSE paper archive.