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.

Verification of Real Time Operating System Exception Management Based on SPARCv8

Zhi Ma, Lei Qiao, Mengfei Yang, Shao-Feng Li, Jin-Kun Zhang. Verification of Real Time Operating System Exception Management Based on SPARCv8. J. Comput. Sci. Technol., 36(6):1367-1387, 2021. [doi]

Authors

Zhi Ma

This author has not been identified. Look up 'Zhi Ma' in Google

Lei Qiao

This author has not been identified. Look up 'Lei Qiao' in Google

Mengfei Yang

This author has not been identified. Look up 'Mengfei Yang' in Google

Shao-Feng Li

This author has not been identified. Look up 'Shao-Feng Li' in Google

Jin-Kun Zhang

This author has not been identified. Look up 'Jin-Kun Zhang' in Google
runs on