土岐田 義明 | (株)高度通信システム研究所

スポンサーリンク

概要

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

関連著者

• 土岐田 義明

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

• 高橋 薫

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

• 坪根 宣宏

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

• 山野 敬一郎

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

• 更科 克幸

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

• 岡崎 直宣

  宮崎大学

• 岡崎 直宣

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

• 田口 毅

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

• 三上 節子

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

• 朴 美娘

  (株)高度移動通信セキュリティ技術研究所(AMSL)

• 高橋 薫

  東北大

• 高橋 薫

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

• 高橋 薫

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

• 高橋 薫

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

• 朴 美姫

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

• 朴 美娘

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

• 更科 克幸

  高度通信システム研究所

• 土岐田 義明

  高度通信システム研究所

• 朴 美娘

  三菱電機

• Park Mirang

  Mitsubishi Electric Corporation

• 朴 美娘

  東北大学電気通信研究所(株)

• 三上 節子

  高度通信システム研究所

• Park Mirang

  Information Technology R&d Center Mitsubishi Electric Corporation

• 朴 美娘

  神奈川工科大学

• 岡崎 直宣

  宮崎大 工

もっと見る 閉じる

著作論文

• 通信ソフトウェア設計支援環境(ITECS)の評価
• 通信ソフトウエア設計支援環境:ITCES(4) : 仕様検証支援系(Verifier,vega)
• 仕様の段階的詳細化とグラフ表現に基づく統合型記述支援
• シミュレーション関係を用いた大規模システムの部分検証に関する考察
• 通信ソフトウエア設計支援環境 : ITECS(1):システム全体構成
• MSCとLOTOSによる通信システム設計支援システム
• 相互接続試験系列生成システム : TESGEN
• 相互運用性試験に対する試験系列生成方式の検討
• ITECSにおける仕様検証支援
• LOTOS仕様の時間特性検証方法に関する一検討
• 通信ソフトウェア設計支援環境ITECSにおける仕様検証支援
• LOTOSを応用した通信ソフトウェア設計支援環境の研究
• 通信ソフトウエア設計支援環境:TECS(2) : 仕様作成支援系 : ASSISts
• 通信ソフトウエア設計支援環境:lTECS(5) : 試験系列生成支援(TESGEN)
• 通信ソフトウエア設計支援環境:ITECS(3) : 仕様記述支援:GLOER

もっと見る 閉じる

スポンサーリンク