Teruo Higashino

No bio available. Add one in Open Library.

Books by Teruo Higashino (50 max)

+ shelf+ list

Formal description techniques and protocol specification, testing and verification: FORTE X / PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan

1997

IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan)., Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

+ shelf+ list

Stabilization, Safety, and Security of Distributed Systems 9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 Proceedings

2007

Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita

+ shelf+ list

Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

2005

Teruo Higashino

+ shelf+ list

Protocol Test Systems VII

1995

Tadanori Mizuno, Teruo Higashino, Norio Shiratori

+ shelf+ list

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

2007

Kedar Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura

+ shelf+ list

Formal Techniques for Networked and Distributed Systems - FORTE 2008 28th IFIP WG 6. 1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

2008

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih

+ shelf+ list

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

2008

Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa