C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Runtime Verification for Timed Event Streams with Partial Information.
Martin Leucker
César Sánchez
Torben Scheffel
Malte Schmitz
Daniel Thoma
Published in:
RV (2019)
Keyphrases
</>
partial information
event streams
episode mining
incomplete information
event driven
complex event processing
data gathering
stream processing
frequent episodes
high volume
model checking
event types
event processing
database systems
data mining
spatio temporal
expert systems