太田 正孝 | (株)高度通信システム研究所

スポンサーリンク

概要

• 太田 正孝の詳細を見る
• 同名の論文著者
• (株)高度通信システム研究所の論文著者

関連著者

• 太田 正孝

  (株)高度通信システム研究所

• 高橋 薫

  東北大

• 高橋 薫

  仙台電波工業高等専門学校

• 高橋 薫

  仙台電波工業高等専門学校 情報通信工学科

• 高橋 薫

  東北大学電気通信研究所

• 高橋 薫

  東北大学

• 山野 敬一郎

  (株)高度通信システム研究所

• 安藤 津芳

  (株)高度通信システム研究所

• 安藤 蕉芳

  (株)高度通信システム研究所

• 更科 克幸

  (株)高度通信システム研究所

• 高橋 薫

  (株)高度通信システム研究所

• 岡崎 直宣

  宮崎大学

• 大友 弥生

  (株)高度通信システム研究所

• 岡崎 直宣

  宮崎大 工

• 岡崎 直宣

  (株)高度通信システム研究所

• 太田 正孝

  AIC

• 朴 美姫

  三菱電機(株)情報技術総合研究所

• 朴 美娘

  三菱電機

• 三上 節子

  (株)高度通信システム研究所

• Dusan Jokanovict

  (株)高度通信システム研究所

• Park Mirang

  Information Technology R&d Center Mitsubishi Electric Corporation

• 朴 美娘

  神奈川工科大学

• 白鳥 則郎

  東北大学情報科学研究科

• 白鳥 則郎

  東北大学

• 朴 美娘

  東北大学

• 野口 正一

  東北大学応用情報学研究センター

• 白鳥 則郎

  東北大学工学部

• 野口 正一

  東北大学 電気通信研究所

• 朴 美娘

  東北大学応用情報学研究センター

• 岡崎 直宣

  AIC

• 野口 正一

  日本大学工学部情報工学科

• 山野 敬一郎

  AIC

• 更科 克幸

  AIC

• 安藤 津芳

  AIC

• Dusan Jokanovic

  (株)高度通信システム研究所

• 太田 正孝

  (株) 高度通信システム研究所

もっと見る 閉じる

著作論文

• プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
• 並列性を考慮した通信システムにおける相互接続試験系列生成法
• プロセス仕様の検証のための模倣性判定法
• シミュレーション関係に基づくLOTOS仕様の検証アルゴリズム
• SDLからLOTOSへの変換
• LOTOSによる交換サービス仕様の記述
• GLOER : G-LOTOSエディタの試作
• LOTOSによる交換ソフトウェア仕様検証について
• SDL仕様のLOTOSによる解釈
• 通信ソフトウェア設計支援環境 : ITECS(2) : 仕様作成支援
• 通信ソフトウェア設計支援環境 : ITECS(1) : 全体構成
• LOTOSの図式支援環境について
• 通信ソフトウェア設計支援環境 : ITECS(4) : 試験仕様生成支援
• 通信ソフトウェア設計支援環境 : ITECS(3) : 仕様検証支援
• 各種遅延時間を考慮した共通線信号網ふくそう制御の解析
• 通信網における異常ふくそう評価のための数学モデル

もっと見る 閉じる

スポンサーリンク