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

Article CLOSED
Andreas Gehlert; Antonio Bucchiarone; Raman Kazhamiakin; Andreas Metzger; Marco Pistore; Klaus Pohl;
(2010)
Share - Bookmark