Showing 1 - 5 results of 5 for search 'Higashino, Teruo', query time: 0.03s Refine Results
  1. 1
    Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers /
    Published 2005
    Other Authors: “…Higashino, Teruo…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /
    Published 2007
    Other Authors: “…Higashino, Teruo…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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 /
    Published 2008
    Other Authors: “…Higashino, Teruo…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
    Published 2008
    Other Authors: “…Higashino, Teruo…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /
    Published 2013
    Other Authors: “…Higashino, Teruo…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search