C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
HLola: a Very Functional Tool for Extensible Stream Runtime Verification.
Felipe Gorostiaga
César Sánchez
Published in:
TACAS (2) (2021)
Keyphrases
</>
functional verification
real time
data streams
artificial intelligence
decision trees
case study
sliding window
database
neural network
real world
social networks
image processing
data model
user friendly
visualization tool
verification method