Online and Offline Stream Runtime Verification of Synchronous Systems.

César Sánchez

Published in: RV (2018)

Keyphrases

real time
online learning
computer systems
data sets
complex systems
decision trees
intelligent systems
learning systems
automated verification
databases
website
data streams
distributed systems
computing systems
formal methods