C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Concurrent runtime verification of data rich events.
Nastaran Shafiei
Klaus Havelund
Peter C. Mehlitz
Published in:
Int. J. Softw. Tools Technol. Transf. (2023)
Keyphrases
</>
data rich
visual analytics
event detection
image processing
model checking
real world
temporal patterns
runtime environment