C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Introduction to the Special Issue on Runtime Verification.
Lu Feng
Dana Fisman
Published in:
Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
</>
model checking
feature extraction
website
multiresolution
formal analysis
database
social networks
multimedia
case study
special case
face verification
signature verification
formal verification
high security