Login / Signup
Runtime Verification of Temporal Properties over Out-of-order Data Streams.
David A. Basin
Felix Klaedtke
Eugen Zalinescu
Published in:
CoRR (2017)
Keyphrases
</>
data streams
temporal properties
model checking
data sets
machine learning
artificial intelligence
data model
object oriented