Contracts-Based Control Integration into Software Systems

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]

Authors

Filip Krikava

This author has not been identified. Look up 'Filip Krikava' in Google

Philippe Collet

This author has not been identified. It may be one of the following persons: Look up 'Philippe Collet' in Google

Romain Rouvoy

This author has not been identified. It may be one of the following persons: Look up 'Romain Rouvoy' in Google

Lionel Seinturier

This author has not been identified. It may be one of the following persons: Look up 'Lionel Seinturier' in Google