Skip to main content
placeholder image

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

Conference Paper


Abstract


UOW Authors


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

Publication Date


  • 2016

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

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