高橋 薫 | (株)高度通信システム研究所
スポンサーリンク
概要
関連著者
-
高橋 薫
(株)高度通信システム研究所
-
高橋 薫
仙台電波工業高等専門学校
-
山野 敬一郎
(株)高度通信システム研究所
-
高橋 薫
東北大
-
高橋 薫
仙台電波工業高等専門学校 情報通信工学科
-
土岐田 義明
(株)高度通信システム研究所
-
太田 正孝
(株)高度通信システム研究所
-
更科 克幸
(株)高度通信システム研究所
-
高橋 薫
東北大学電気通信研究所
-
高橋 薫
東北大学
-
安藤 津芳
(株)高度通信システム研究所
-
安藤 蕉芳
(株)高度通信システム研究所
-
大友 弥生
(株)高度通信システム研究所
-
高橋 薫
高度通信システム研究所(aic)
-
高橋 健一
高度通信システム研究所(aic)
-
鈴木 眞冶
(株)高度通信システム研究所
-
籏福 正俊
(株)高度通信システム研究所
-
石幡 吉則
(株)高度通信システム研究所
-
高橋 健一
(株)高度通信システム研究所
-
後藤 邦弘
(株)高度通信システム研究所
-
澤井 克哉
(株)高度通信システム研究所
-
鈴木 眞治
高度通信システム研究所
-
石幡 吉則
高度通信システム研究所(aic)
-
澤井 克哉
高度通信システム研究所
-
後藤 邦弘
高度通信システム研究所
-
籏福 正俊
高度通信システム研究所
-
朴 美娘
(株)高度移動通信セキュリティ技術研究所(AMSL)
-
加藤 靖
仙台電波工業高等専門学校
-
朴 美姫
三菱電機(株)情報技術総合研究所
-
朴 美娘
三菱電機(株)情報技術総合研究所
-
高橋 薫
仙台高等専門学校
-
加藤 靖
仙台電波工業高等専門学校情報工学科
-
岡崎 直宣
宮崎大学
-
岡崎 直宣
(株)高度通信システム研究所
-
坪根 宣宏
(株)高度通信システム研究所
-
更科 克幸
高度通信システム研究所
-
土岐田 義明
高度通信システム研究所
-
安藤 敏彦
仙台電波高専
-
加藤 靖
仙台電波高専
-
安藤 敏彦
仙台電波工業高等専門学校
-
田口 毅
(株)高度通信システム研究所
-
朴 美娘
三菱電機
-
Park Mirang
Mitsubishi Electric Corporation
-
朴 美娘
東北大学電気通信研究所(株)
-
三上 節子
高度通信システム研究所
-
三上 節子
(株)高度通信システム研究所
-
太田 正孝
AIC
-
Park Mirang
Information Technology R&d Center Mitsubishi Electric Corporation
-
安藤 敏彦
仙台電波工高専
-
山野 敬一郎
AIC
-
朴 美娘
神奈川工科大学
-
岡崎 直宣
宮崎大 工
著作論文
- 通信ソフトウェア設計支援環境(ITECS)の評価
- 通信ソフトウエア設計支援環境:ITCES(4) : 仕様検証支援系(Verifier,vega)
- 仕様の段階的詳細化とグラフ表現に基づく統合型記述支援
- シミュレーション関係を用いた大規模システムの部分検証に関する考察
- 位相的観点からの仕様記述
- 相互接続試験システムの機能検討
- 基本相互接続試験システムの開発
- 通信ソフトウエア設計支援環境 : ITECS(1):システム全体構成
- MSCとLOTOSによる通信システム設計支援システム
- 相互接続試験系列生成システム : TESGEN
- プロセス仕様の検証のための模倣性判定法
- シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
- SDLからLOTOSへの変換
- LOTOSによる交換サービス仕様の記述
- GLOER : G-LOTOSエディタの試作
- LOTOSによる交換ソフトウェア仕様検証について