平手 孝 | 名古屋大学大学院工学研究科情報工学専攻
スポンサーリンク
概要
関連著者
-
坂部 俊樹
名古屋大学大学院情報科学研究科
-
平手 孝
名古屋大学大学院工学研究科情報工学専攻
-
稲垣 康善
名古屋大学
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
結縁 祥治
名古屋大学 情報科学研究科
-
坂部 俊樹
名古屋大学大学院 情報科学研究科
-
坂部 俊樹
名古屋大学 大学院情報科学研究科
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
稲垣 康善
名古屋大学大学院工学研究科計算理工学専攻
著作論文
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ(並列・分散)
- 診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ