Exploiting assumption-based verification for the adaptation of service-based applications.

Andreas Gehlert, Antonio Bucchiarone, Raman Kazhamiakin, Andreas Metzger, Marco Pistore, Klaus Pohl

Browse the full SAC paper archive.