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.

A Formal Verification Method for the SOPC Software

Shan Zhou, Jinbo Wang, Jiao Jia, Chi Zhang, Ruixue Wang. A Formal Verification Method for the SOPC Software. IEEE Transactions on Reliability, 71(2):818-829, 2022. [doi]

Authors

Shan Zhou

This author has not been identified. Look up 'Shan Zhou' in Google

Jinbo Wang

This author has not been identified. Look up 'Jinbo Wang' in Google

Jiao Jia

This author has not been identified. Look up 'Jiao Jia' in Google

Chi Zhang

This author has not been identified. Look up 'Chi Zhang' in Google

Ruixue Wang

This author has not been identified. Look up 'Ruixue Wang' in Google
runs on