C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Introduction to the Special Issue on Runtime Verification.
Jyotirmoy Deshmukh
Dejan Nickovic
Published in:
Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
</>
artificial intelligence
model checking
face verification
machine learning
concurrent systems
formal verification
databases
neural network
verification method
genetic algorithm
information systems
face recognition
asynchronous circuits
false acceptance