Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee. Exploring the twin peaks using probabilistic verification techniques. In Jane Cleland-Huang, Paris Avgeriou, Janet E. Burge, Xavier Franch, Matthias Galster, Mehdi Mirakhorli, Roshanak Roshandel, editors, Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014, Hyderabad, India, June 1, 2014. pages 18-23, ACM, 2014. [doi]
Abstract is missing.