Mat
J-GLOBAL ID:200909078356345602   JST material number (FULL):K19980667Y   JST material number:K19980667

Formal Description Techniques and Protocol Specification, Testing and Verification

JST material number:
JST material number
Identifier of Material (journals)
K19980667
ISBN (1): 0-412-84760-4
Material type:Proceedings, Print, zz
Publication frequency: zz
Country of issued:United States(USA)
Language (1): English(EN)
Editor/ Editing house (1): International Federation for Information Processing
Publisher: Kluwer Academic Publ.
Publication place:Norwell, Mass.
Conference name  (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 library information (0)

※Subject to change. Contact us for the latest status.


Return to Previous Page