About this scholarly article

TeSSLa: Runtime Verification of Non-synchronized Real-Time Streams by Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm is a scholarly article available to read on EtoBox.

Author

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