コマツ サトシ   KOMATSU Satoshi
  小松 聡
   所属   東京電機大学  工学部 電子システム工学科
   東京電機大学大学院  先端科学技術研究科 電気電子システム工学専攻
   東京電機大学  工学部 電気電子工学科
   東京電機大学大学院  工学研究科 電気電子工学専攻
   職種   教授
研究期間 2002~2004
研究課題 形式的検証手法を利用したデジタルシステムの設計デバッグ技術に関する研究
実施形態 科学研究費補助金
研究委託元等の名称 科学研究費補助金
研究種目名 基盤研究(B)
科研費研究課題番号 14350178
代表分担区分 研究分担者
代表者 藤田 昌宏