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

• Project/Area Number: 13780217
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: 計算機科学
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: 森 彰 北陸先端科技大, 情報科学研究科, 助手 (30311682)
• Project Period (FY): 2001
• Project Status: Completed (Fiscal Year 2001)
• Budget Amount: ¥1,200,000 (Direct Cost: ¥1,200,000); Fiscal Year 2001: ¥1,200,000 (Direct Cost: ¥1,200,000)