Teruo Higashino

Identifiers

Open LibraryOL2692998A

Top Subjects

Electronic data processing, distributed processing (1)
Telecommunication systems (1)
Computer software (1)

Books by Teruo Higashino

Total count: 5

Formal Description Techniques and Protocol Specification,

Springer1997-10-31
Principles of Distributed Systems8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

Springer London, Limited2005-01-01
Automated Technology for Verification and Analysis5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Springer London, Limited2007-01-01
Testing of Software and Communicating Systems20th IFIP TC 6/WG 6. 1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings

Springer London, Limited2008-01-01
Stabilization, Safety, and Security of Distributed Systems15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

Springer London, Limited2013-01-01