|
[SRT16]
Guoxin Su, David S. Rosenblum and Giordano Tamburrelli.
Reliability of Run-Time Quality-of-Service Evaluation Using Parametric Model Checking.
In Proc. IEEE/ACM 38th International Conference on Software Engineering (ICSE'16), pages 73-84.
2016.
[Presents techniques for assessing quality of service using parametric probabilistic model checking, and a tool chain involving PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|