T
Teruo Higashino
7 works on record
Works

Formal description techniques and protocol specification, testing and verification
1997

Stabilization, Safety, and Security of Distributed Systems

Protocol Test Systems

Principles of Distributed Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Testing of Software and Communicating Systems
Testing of Software and Communicating Systems
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis