MPG.eBooks - Author Search Results

Cover Image

1

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE X / PSTV XVII ’97

by Togashi, Atsushi, Mizuno, Tadanori, Shiratori, Norio, Higashino, Teruo
Published 1997

Springer US

Cover Image

2

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

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Higashino, Teruo...”

Cover Image

3

Protocol Test Systems : 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

Published 1995

Springer US

Other Authors: “...Higashino, Teruo...”

Cover Image

4

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

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Higashino, Teruo...”

Cover Image

5

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...

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Higashino, Teruo...”

Cover Image

6

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

Published 2013

Springer International Publishing

Other Authors: “...Higashino, Teruo...”

Cover Image

7

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

Springer Berlin Heidelberg

Other Authors: “...Higashino, Teruo...”