@techreport{weko_25683_1, author = "前田,誠司 and 佐藤,記代子 and 崎山,伸夫 and 矢野,浩邦 and 林,拓也", title = "高信頼化を考慮したシングルイメージ分散マイクロカーネルの実現", year = "2002", institution = "(株)東芝 研究開発センター, (株)東芝 研究開発センター, (株)東芝 研究開発センター, (株)東芝 研究開発センター, (株)東芝 研究開発センター", number = "79(2002-OS-091)", month = "aug" }