Exploring the twin peaks using probabilistic verification techniques
| Title | Exploring the twin peaks using probabilistic verification techniques |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee |
| Conference Name | Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014 |
| Keywords | 1035715 |
| DOI | 10.1145/2593861.2593865 |
| Citation Key | MurugesanFHRWL14 |