モデル検査を用いた移動コード安全性の検証に関する研究

• 研究課題/領域番号: 13780217
• 研究種目: 奨励研究(A)
• 配分区分: 補助金
• 研究分野: 計算機科学
• 研究機関: 北陸先端科学技術大学院大学
• 研究代表者: 森 彰 北陸先端科技大, 情報科学研究科, 助手 (30311682)
• 研究期間 (年度): 2001
• 研究課題ステータス: 完了 (2001年度)
• 配分額: 1,200千円 (直接経費: 1,200千円); 2001年度: 1,200千円 (直接経費: 1,200千円)