Teruo Higashino
Books
- Formal Techniques for Networked and Distributed Systems - FORTE 2008
- Automated Technology for Verification and Analysis
- Formal description techniques and protocol specification, testing and verification
- Testing of Software and Communicating Systems
- Stabilization, Safety, and Security of Distributed Systems
- Protocol Test Systems
- Principles of Distributed Systems
Author data: Open Library