Reliability Modelling of Disk Subsystems with Probabilistic Model Checking

Published as Storage Systems Research Center Technical Report UCSC-SSRC-09-05.

Available for download:

Bibtex entry

@techreport{
  author       = {Kanchi Gopinath and Jon Elerath and Darrell D. E. Long},
  title        = {Reliability Modelling of Disk Subsystems with Probabilistic Model Checking},
  institution  = {University of California, Santa Cruz},
  number       = {UCSC-SSRC-09-05},
  month        = may,
  year         = {2009},
}