Formal description techniques and protocol specification, testing and verification
Formal description techniques and protocol specification, testing and verification1997
IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan)., Tadanori Mizuno, Norio Shiratori, Atsushi Togashi, Teruo Higashino
Details
- First published
- 1997
- OL Work ID
- OL13340185W
Subjects
CongressesComputer network protocolsFormal languagesElectronic data processingDistributed processingComputer scienceComputer networks