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

17/May/2016
Publication Title: 
MCaaS- Model Checking in the Cloud for Assurances of Adaptive Systems
Authors: 
Amir Molzam Sharifloo
Andreas Metzger

To be published in the Software Engineering for Self-Adaptive Systems.

Publication Year: