A Stream Runtime Verification Tool with Nested and Retroactive Parametrization.

Paloma Pedregal Felipe Gorostiaga César Sánchez

Published in: RV (2023)

Keyphrases

software tools
model checking
real time
sliding window
multimedia
website
search algorithm
streaming data
false acceptance rate