External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Large Volume Testing for Executable Formal Specification Using Hadoop

Shigeru Kusakabe. Large Volume Testing for Executable Formal Specification Using Hadoop. In 25th IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings. pages 1250-1257, IEEE, 2011. [doi]

Authors

Shigeru Kusakabe

This author has not been identified. Look up 'Shigeru Kusakabe' in Google
runs on