Tadanori Mizuno

No bio available. Add one in Open Library.

Books by Tadanori Mizuno (50 max)

+ shelf+ list

Formal description techniques and protocol specification, testing and verification: FORTE X / PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan

1997

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

+ shelf+ list

Protocol Test Systems 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

1995

Tadanori Mizuno

+ shelf+ list

Protocol Test Systems VII

1995

Tadanori Mizuno, Teruo Higashino, Norio Shiratori