MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems

Amir Molzam Sharifloo, Andreas Metzger. MCaaS: Model Checking in the Cloud for Assurances of Adaptive 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 137-153, Springer, 2013. [doi]

Abstract

Abstract is missing.