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