コマツ サトシ   KOMATSU Satoshi
  小松 聡
   所属   東京電機大学  工学部 電子システム工学科
   東京電機大学大学院  先端科学技術研究科 電気電子システム工学専攻
   東京電機大学  工学部 電気電子工学科
   東京電機大学大学院  工学研究科 電気電子工学専攻
   職種   教授
言語種別 英語
発行・発表の年月 2007/07
形態種別 学術研究論文
査読 査読有り
標題 Formal Verification of Hardware/Software Co-designs with Translation into Representations in State Transitions
執筆形態 共著
掲載誌名 Electronics and Communications in Japan, Part 2 Electronics
巻・号・頁 9(7),pp.11-19
著者・共著者 T. Nishihara, T. Matsumoto, S. Komatsu, M. Fujita