Reliability of run-time quality-of-service evaluation using parametric model checking

Citation

• 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.

Ro Metadata Url

• http://ro.uow.edu.au/eispapers1/161

Start Page

• 1

End Page

• 12

Place Of Publication

• IEEE Xplore

Abstract

UOW Authors

•   Guoxin Su
•   Rosenblum, David (external author)
•   Tamburrelli, Giordano (external author)

Publication Date

• 2016

Has Subject Area

• 080302 - COMPUTER SYSTEM ARCHITECTURE

Citation

• 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.

Ro Metadata Url

• http://ro.uow.edu.au/eispapers1/161

Start Page

• 1

End Page

• 12

Place Of Publication

• IEEE Xplore