Search Results: Higashino Teruo

Results 1 - 5 of 5 (page 1 of 1)

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

E-book (2007.)

Namjoshi, Kedar S.

Add to basket

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

E-book (2008.)

Suzuki, Kenji.

Add to basket

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

E-book (2008.)

Suzuki, Kenji.

Add to basket

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings

E-book (2013.)

Higashino, Teruo.

Add to basket

Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

E-book (2005.)

Higashino, Teruo.

Add to basket

Results 1 - 5 of 5 (page 1 of 1)

Catalog