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.

Change Impact Analysis for Refinement-Based Formal Specification

Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden. Change Impact Analysis for Refinement-Based Formal Specification. IEICE Transactions, 102-D(8):1462-1477, 2019. [doi]

Authors

Shinnosuke Saruwatari

This author has not been identified. Look up 'Shinnosuke Saruwatari' in Google

Fuyuki Ishikawa

This author has not been identified. Look up 'Fuyuki Ishikawa' in Google

Tsutomu Kobayashi

This author has not been identified. Look up 'Tsutomu Kobayashi' in Google

Shinichi Honiden

This author has not been identified. It may be one of the following persons: Look up 'Shinichi Honiden' in Google
runs on