👤

Teruo Higashino

3 books

Books by Teruo Higashino

Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2008
Formal description techniques and protocol specification, testing and verification
Formal description techniques and protocol specification, testing and verification
1997
Protocol Test Systems
Protocol Test Systems
1995