Huaikou Miao. An approach to service dynamic reconfiguration using probabilistic model checking. In 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, ICIS 2013, Niigata, Japan, June 16-20, 2013. pages 3, IEEE, 2013. [doi]
Abstract is missing.