TeSSLa: Temporal stream-based specification language

Lukas Convent*, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

*Corresponding author for this work

Fingerprint

Dive into the research topics of 'TeSSLa: Temporal stream-based specification language'. Together they form a unique fingerprint.

Computer Science