[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Exploiting assumption-based verification for the adaptation of service-based applications
Gehlert, Andreas, Bucchiarone, Antonio, Kazhamiakin, Raman, Metzger, Andreas, Pistore, Marco, Pohl, KlausYear:
2010
Language:
english
DOI:
10.1145/1774088.1774593
File:
PDF, 439 KB
english, 2010