郷 健太郎 | 東北大学電気通信研究所情報科学研究科
スポンサーリンク
概要
関連著者
-
郷 健太郎
山梨大学
-
郷 健太郎
山梨大学工学部
-
郷 健太郎
東北大学電気通信研究所情報科学研究科
-
白鳥 則郎
東北大学電気通信研究所
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
白鳥 則郎
情報科学研究科
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
福沢 尚司
東北大学電気通信研究所情報科学研究科
著作論文
- 命題論理に基づく要求仕様の詳細化とその支援
- プロセス仕様の等価性に基づく分割法の拡張
- 通信ソフトウェアのやわらかい開発法に関する一考察
- 構造を持ったプロセス仕様の分割法
- プロセス代数仕様の分割法の提案