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

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

*Korrespondierende/r Autor/-in für diese Arbeit
1 Zitat (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Runtime verification of real-time event streams under non-synchronized arrival“. Zusammen bilden sie einen einzigartigen Fingerprint.

Ingenieurwesen & Materialwissenschaft