@article{weko_6415_1,
   author	 = "井原,廣一",
   title	 = "高信頼化技術：コンピュータ・システムの高信頼化技術：システムの高信頼化技術",
   journal	 = "情報処理",
   year 	 = "1982",
   volume	 = "23",
   number	 = "4",
   month	 = "apr"
}