Exploring the twin peaks using probabilistic verification techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Anitha Murugesan' in GoogleThis author has not been identified. Look up 'Lu Feng' in GoogleThis author has not been identified. It may be one of the following persons:

Mats Per Erik Heimdahl

Look up 'Mats Per Erik Heimdahl' in GoogleThis author has not been identified. Look up 'Sanjai Rayadurgam' in GoogleThis author has not been identified. Look up 'Michael W. Whalen' in GoogleThis author has not been identified. Look up 'Insup Lee' in Google

runs on WebDSL