Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems (bibtex)
by R. Calinescu, Carlo Ghezzi, K. Johnson, Mauro Pezzè, Y. Rafiq, G. Tamburrelli
Reference:
Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems R. Calinescu, Carlo Ghezzi, K. Johnson, Mauro Pezzè, Y. Rafiq, G. TamburrelliIn IEEE Transactions on Reliability, IEEE Computer Society, volume 65, 2016
Bibtex Entry:
@string{star="STAR"}
@string{ieee="IEEE Computer Society"}
@article{Cainescu:QOSProperties:TR:2016,
  groups = STAR,
  author = {R. Calinescu and Carlo Ghezzi and K. Johnson and Mauro Pezz{\`{e}} and Y. Rafiq and G. Tamburrelli},
  title = {Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems},
  journal = {IEEE Transactions on Reliability},
  year = {2016},
  volume = {65},
  number = {1},
  pages = {107--125},
  publisher = {IEEE}
}
Powered by bibtexbrowser