|
[KKS17]
Maria Krotsiani, Christos Kloukinas and George Spanoudakis.
Cloud Certification Process Validation using Formal Methods.
In Proc. International Conference on Service-Oriented Computing (ICSOC'17), pages 65-79.
2017.
[Proposes an approach for formal certification of cloud systems using a translation to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|