Quantitative Verification for Monitoring Event-Streaming Systems.

Guoxin Su Li Liu Minjie Zhang David S. Rosenblum

Published in: IEEE Trans. Software Eng. (2022)

Keyphrases

real time
computer systems
data streams
expert systems
end to end
neural network
search engine
intelligent systems
building blocks
model checking
qualitative and quantitative
streaming data