Atsushi Togashi

Atsushi Togashi

Books

Co-authored books and collections

Books that list Atsushi Togashi among their authors but not as the lead author: co-written works, collections and compilations.

Formal description techniques and protocol specification, testing and verificationIFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan).

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). · 1997