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 PapersSpringer London, Limited2005-01-01
-
Automated Technology for Verification and Analysis5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 ProceedingsSpringer 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 ProceedingsSpringer London, Limited2008-01-01
-
Stabilization, Safety, and Security of Distributed Systems15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. ProceedingsSpringer London, Limited2013-01-01