Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing, and Verification
著者
書誌事項
Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing, and Verification
North-Holland , Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co., 1985
- U.S.
大学図書館所蔵 全14件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographies
内容説明・目次
内容説明
This book covers research in protocol theory and analysis, specification and formal models of protocols, protocol validation and verification, performance analysis of protocols, and protocol design implementation and testing. Main Features: 1. Broad coverage of the research in the area of computer communication protocols. 2. A combination of theoretical and experimental research on protocol modelling, design, analysis, synthesis, verification and testing. 3. A description of international research activities conducted by leading researchers in the field from over 13 countries.
「Nielsen BookData」 より