Filip Krikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier. Contracts-Based Control Integration into Software Systems. In Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, editors, Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Volume 9640 of Lecture Notes in Computer Science, pages 251-281, Springer, 2013. [doi]
Abstract is missing.