共同研究・競争的資金等の研究課題

2010年 - 2011年

モデルの型検査からモデル変換の型検査へ

文部科学省  科学研究費補助金(挑戦的萌芽研究)
  • 胡 振江
  • ,
  • 稲葉 一浩
  • ,
  • 日高 宗一郎
  • ,
  • 加藤 弘之

課題番号
22650007
担当区分
連携研究者
配分額
(総額)
2,470,000円
(直接経費)
2,200,000円
(間接経費)
270,000円
資金種別
競争的資金

リンク情報
URL
https://kaken.nii.ac.jp/d/p/22650007.ja.html