TeSSLa: Temporal Stream-Based Specification Language
Title | TeSSLa: Temporal Stream-Based Specification Language |
Publication Type | Conference Paper |
Year of Publication | 2018 |
Authors | Convent, L, Hungerecker, S, Leucker, M, Scheffel, T, Schmitz, M, Thoma, D |
Conference Name | Brazilian Symposium on Formal Methods SBMF |
Series | Lecture Notes in Computer Science |
Volume | 11254 |
Publisher | Springer |
Bibtex:
@inproceedings {1310, title = {TeSSLa: Temporal Stream-Based Specification Language}, booktitle = {Brazilian Symposium on Formal Methods SBMF}, series = {Lecture Notes in Computer Science}, volume = {11254}, year = {2018}, publisher = {Springer}, organization = {Springer}, author = {Lukas Convent and Sebastian Hungerecker and Martin Leucker and Torben Scheffel and Malte Schmitz and Daniel Thoma} }
PDF: