平手 孝 | 名古屋大学大学院工学研究科情報工学専攻

スポンサーリンク

概要

• 平手 孝の詳細を見る
• 同名の論文著者
• 名古屋大学大学院工学研究科情報工学専攻の論文著者

関連著者

• 坂部 俊樹

  名古屋大学大学院情報科学研究科

• 平手 孝

  名古屋大学大学院工学研究科情報工学専攻

• 稲垣 康善

  名古屋大学

• Yuen Shoji

  Center For Information Media Studies Nagoya University

• 結縁 祥治

  名古屋大学 情報科学研究科

• 坂部 俊樹

  名古屋大学大学院 情報科学研究科

• 坂部 俊樹

  名古屋大学 大学院情報科学研究科

• 結縁 祥治

  名古屋大学大学院情報科学研究科

• 稲垣 康善

  名古屋大学大学院工学研究科計算理工学専攻

著作論文

• テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
• テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ(並列・分散)
• 診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ
• テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ

スポンサーリンク