Runtime verification of real-time event streams under non-synchronized arrival

Martin Leucker, César Sánchez, Torben Scheffel*, Malte Schmitz, Alexander Schramm

*Corresponding author for this work
1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Runtime verification of real-time event streams under non-synchronized arrival'. Together they form a unique fingerprint.

Engineering & Materials Science