Home > Authors > Norio Shiratori

Norio Shiratori

All books by Norio Shiratori

(Displaying 1 Book)

Formal description techniques and protocol specification, testing and verification

Formal description techniques and protocol specification, testing and verification

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

Looking for another book by Norio Shiratori? Search for the book by title.