Formal modeling self-adaptive service-oriented applications.

Elvinia Riccobene, Patrizia Scandurra

Browse the full SAC paper archive.