TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams
| Title | TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Scheffel, T, Hungerecker, S, Leucker, M, Schmitz, M, Thoma, D |
| Conference Name | Report from Dagstuhl Seminar |
| Volume | Vol. 7, Issue 11, pp. 59–85 |
| Publisher | Dagstuhl Reports |
Bibtex:
@inproceedings {1304,
title = {TeSSLa: A Real-Time Specification Language for Runtime Verification of Non-synchronized Streams},
booktitle = {Report from Dagstuhl Seminar},
volume = {Vol. 7, Issue 11, pp. 59{\textendash}85},
year = {2017},
publisher = {Dagstuhl Reports},
organization = {Dagstuhl Reports},
author = {Torben Scheffel and Sebastian Hungerecker and Martin Leucker and Malte Schmitz and Daniel Thoma}
}PDF:
