@techreport{weko_24572_1, author = "金川,信康 and 井原,廣一 and 加藤肇彦", title = "宇宙機搭載用コンピュータのためのフォールトトレラントOS", year = "1990", institution = "(株)日立製作所日立研究所, (株)日立製作所宇宙技術推進本部, (株)日立製作所宇宙技術推進本部", number = "96(1990-ARC-064)", month = "nov" }