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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.