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