Home > Authors > Tadanori Mizuno

Tadanori Mizuno

All books by Tadanori Mizuno

(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 Tadanori Mizuno? Search for the book by title.