基本情報

所属
信州大学 工学部 電子情報システム工学科 教授
学位
博士(工学)(1997年3月 信州大学)

J-GLOBAL ID
200901050538279345
researchmap会員ID
1000192799

外部リンク

フォーマルアプローチ,特に並列分散システムのモデル化と解析、非同期回路の数学モデルと形式検証、モデル検査系向けハードウェアコンパイラに関する研究を行っています。ペトリネット検証ツール HiPS の紹介デモ動画はこちらからどうぞ!


経歴

  6

論文

  155

MISC

  162

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

  11