Reliability Modelling of Disk Subsystems with Probabilistic Model Checking

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

Publication date:
May 2009

Authors:
Kanchi Gopinath
Jon Elerath
Darrell D. E. Long

Projects:
Reliable Storage

Available for download:

Full text:
Download as PDF

Bibtex entry

@techreport{gopinath09-ssrctr0905,
  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},
}
Last modified 2 Nov 2009