|
[SM13]
Amir Molzam Sharifloo and Andreas Metzger.
MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems.
In Software Engineering for Self-Adaptive Systems, Springer.
2013.
[Describes a cloud-based approach to the assurance of adaptive systems with an evaluation that uses PRISM for probabilistic model checking tasks.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|