Skip to content
Book Glossary
Cover of Formal description techniques and protocol specification, testing and verification

Formal description techniques and protocol specification, testing and verification

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

CongressesComputer network protocolsFormal languagesElectronic data processingDistributed processingComputer scienceComputer networks
Writing a summary for young readers…

For young readers

Book data: Open Library