Sign in
Verification of Real Time Operating System Exception Management Based on SPARCv8.
Zhi Ma
Lei Qiao
Mengfei Yang
Shao-Feng Li
Jin-Kun Zhang
Published in:
J. Comput. Sci. Technol. (2021)
Keyphrases
</>
management system
model checking
information systems
case study
knowledge management
data management
databases
network management
face verification
database
information retrieval
knowledge base
multiscale
decision support
asynchronous circuits