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.

Formal semantics of extended hierarchical state transition matrix by CSP

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi 0001. Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Software Engineering Notes, 37(4):1-8, 2012. [doi]

Authors

Yoriyuki Yamagata

This author has not been identified. Look up 'Yoriyuki Yamagata' in Google

Weiqiang Kong

This author has not been identified. Look up 'Weiqiang Kong' in Google

Akira Fukuda

This author has not been identified. Look up 'Akira Fukuda' in Google

Nguyen Van Tang

This author has not been identified. Look up 'Nguyen Van Tang' in Google

Hitoshi Ohsaki

This author has not been identified. Look up 'Hitoshi Ohsaki' in Google

Kenji Taguchi 0001

This author has not been identified. Look up 'Kenji Taguchi 0001' in Google
runs on