IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan).

Identifiers

Open LibraryOL6235464A

Top Subjects

Formal languages -- Congresses (1)
Computer network protocols -- Congresses (1)

Books by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan).

Total count: 1

Formal description techniques and protocol specification, testing and verificationFORTE X / PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan1st ed.

Springer1997-01-01