Su, G., Rosenblum, D. & Tamburrelli, G. (2016). Reliability of run-time quality-of-service evaluation using parametric model checking. IEEE/ACM 38th International Conference on Software Engineering (ICSE 2016) (pp. 1-12). IEEE Xplore: IEEE.
Su, G., Rosenblum, D. & Tamburrelli, G. (2016). Reliability of run-time quality-of-service evaluation using parametric model checking. IEEE/ACM 38th International Conference on Software Engineering (ICSE 2016) (pp. 1-12). IEEE Xplore: IEEE.