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: 

Year 3