神長 裕明 | 情報科学研究科
スポンサーリンク
概要
関連著者
-
神長 裕明
情報科学研究科
-
高橋 薫
仙台電波工業高等専門学校
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
白鳥 則郎
東北大学電気通信研究所
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
神長 裕明
山形大学工学部電子工学科
-
高橋 薫
東北大学電気通信研究所
-
勝倉 真
東北大学電気通信研究所
-
福沢 尚司
東北大学電気通信研究所情報科学研究科
-
白鳥 則郎
東北大学 白鳥研究室
-
ビスタ ベッド
東北大学電気通信研究所 情報科学研究科
-
野口 正一
東北大学 電気通信研究所
-
ベッド バハドゥール
東北大学電気通信研究所
-
臼井 伸幸
東北大学電気通信研究所
-
臼井 伸幸
東北大
-
高橋 薫
情報科学研究科
-
白鳥 則郎
仙台電波工業高等専門学校
-
神長 裕明
仙台電波工業高等専門学校
-
白鳥 則郎
山形大学工学部電子工学科
-
宋 国煥
情報科学研究科
-
宗 国煥
東北大学電気通信研究所 情報科学研究科
-
宋 国煥
東北大学電気通信研究所情報科学研究科
-
神長 裕明
東北大学大型計算機センター
-
神長 裕明
東北大学 電気通信研究所
著作論文
- コミュニケーションプロトコルの適応性を考慮したやわらかい合成支援環境の構築
- システム要求と形式仕様のやわらかい設計支援環境とその試作
- 通信プロトコルのやわらかい合成法
- 要求と形式仕様のやわらかい設計支援システム
- 形式仕様の開発における機能要求への反映
- LOTOS言語の特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- 代数的に記述されたプロトコルの検証に関する一考察