Reliability of Run-Time Quality-of-Service evaluation using parametric model checking.

Guoxin Su, David S. Rosenblum, Giordano Tamburrelli

Browse the full ICSE paper archive.