Home > Authors > Atsushi Togashi

Atsushi Togashi

All books by Atsushi Togashi

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