プロトコルの記述法と検証法
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1979-07-15
著者
-
河岡 司
Ntt 情報通信処理研究所
-
河岡 司
日本電信電話公社横須賀電気通信研究所
-
高橋 祥兼
NTT 電気通信研究所
-
友永 充宏
日本電信電話公社横須賀電気通信研究所
-
高橋 祥兼
日本電信電話公社横須賀電気通信研究所
関連論文
- 通信網の変革と情報処理 ネットワークアーキテクチャ (通信網の変革と情報処理)
- オペレーティングシステム概念に基づく開放型計算機網アーキテクチャの設計方式
- データ通信端末の仮想化
- ネットワ-クア-キテクチャ (最近のコンピュ-タシステム) -- (コンピュ-タ通信)
- デ-タ通信網ア-キテクチャ(DCNA)第4版の開発
- プロトコルの形式記述法
- ソフトウェア故障診断ドメインシェル
- デ-タ通信網ア-キテクチャ(DCNA)適用領域の拡大
- デ-タ通信網ア-キテクチャ(DCNA)の機能拡充
- 5. 標準化動向 5.7 OSI実装仕様の動向 (分散処理技術)
- ネットワ-クア-キテクチャ (情報ネットワ-ク特集) -- (情報ネットワ-クの基本技術)
- 応用向きプロトコルの複合制御方式の検討
- 化合物データベースの統合検索方式について
- ネットワ-クトポロジ-の変更に伴うル-ト切替えの最適化
- 通信制御プログラムの2階層プロトコル試験手順の最適化
- DCNA分散ネットワ-ク管理プロトコル
- 通信制御プログラムに関するプロトコル試験手順の最適化
- プロトコルの記述法と検証法
- セマンティクス情報理論のフレームワーク
- 4. 上位層のサービスとプロトコル 4.3 プレゼンテーション層 (ネットワークアーキテクチャ (開放型システム間相互接続) の標準化動向)