Formal description techniques and protocol specification, testing and verification

Name: Formal description techniques and protocol specification, testing and verification
Author: IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan)., Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan)., Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino · 1997

Cover of Formal description techniques and protocol specification, testing and verification

No description available.

CongressesComputer network protocolsFormal languagesElectronic data processingDistributed processingComputer scienceComputer networks