@techreport{weko_142121_1, author = "川口,智大 and 斎藤,秀雄", title = "Markov連鎖を用いたデータセンタHigh Availabilityシステムの信頼性評価方法", year = "2015", institution = "(株)日立製作所, (株)日立製作所", number = "9", month = "may" }