Home > Authors > Teruo Higashino

Teruo Higashino

All books by Teruo Higashino

(Displaying 2 Books)

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

Stabilization, Safety, and Security of Distributed Systems

Stabilization, Safety, and Security of Distributed Systems

Teruo Higashino

Looking for another book by Teruo Higashino? Search for the book by title.