Fingerprint
Dive into the research topics of 'TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams
Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm