Home Advanced Search

Advanced Search - Page 1

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
  • PDF
  • English
  • Year: 2008
  • Author: Yutaka Yasuda (auth.), Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.)
Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Ethan K. Jackson, Wolfram Schulte (auth.), Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (eds.)
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97
  • PDF
  • English
  • Year: 1997
  • Author: Andreas Ulrich, Hartmut König (auth.), Tadanori Mizuno, Norio Shiratori, Teruo Higashino, Atsushi Togashi (eds.)
Cybernics: Fusion of human, machine and information systems
  • PDF
  • English
  • Year: 2014
  • Author: Yoshiyuki Sankai, Kenji Suzuki, Yasuhisa Hasegawa (eds.)
Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2005
  • Author: David Lee, Christine Liu, Mihalis Yannakakis (auth.), Teruo Higashino (eds.)
Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
  • PDF
  • English
  • Year: 1995
  • Author: Bernd Baumgarten (auth.), Tadanori Mizuno, Teruo Higashino, Norio Shiratori (eds.)
Low Fertility and Population Aging in Japan and Eastern Asia
  • PDF
  • English
  • Year: 2013
  • Author: Toru Suzuki (auth.)
Emergent Transport Properties of Magnetic Topological Insulator Heterostructures
  • PDF
  • English
  • Year: 2020
  • Author: Kenji Yasuda
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Nathan Whitehead, Jordan Johnson, Martín Abadi (auth.), Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.)
Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jons-Tobias Wamhoff, Mario Schwalbe (auth.), Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita (eds.)
search