資料
J-GLOBAL ID:200909078356345602   JST資料番号 (フル):K19980667Y   JST資料番号:K19980667

Formal Description Techniques and Protocol Specification, Testing and Verification

JST資料番号:
JST資料番号
JSTが収集資料ごとに付与しているID番号です
K19980667
ISBN (1件): 0-412-84760-4
資料内容種別:会議録, 冊子体, その他
刊行頻度: その他
発行国:アメリカ合衆国(USA)
本文使用言語 (1件): 英語(EN)
編集団体名 (1件): International Federation for Information Processing
出版団体名: Kluwer Academic Publ.
出版地:Norwell, Mass.
会議 (3件):
  • IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, 11th, Paris, 19981103 - 19981106
  • IFIP TC6 WG6.1 International Conference on Protocol Specification, Testing and Verification, 18th
  • FORTE/PSTV '98
JST所蔵 (0件)

※ 所蔵状況は最新でない場合があります。また事情によりご利用いただけない場合があります。
 詳細はこちらからお問い合わせください。


前のページに戻る