Teruo Higashino
· 7 obras en el catálogo
Obras

Formal description techniques and protocol specification, testing and verification
1997

Stabilization, Safety, and Security of Distributed Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2008
Automated Technology for Verification and Analysis
Testing of Software and Communicating Systems

Protocol Test Systems
