Lukas Convent
On Tech, Science and Learning
Home
Blog
Projects
🇬🇧
🇩🇪
TeSSLa: Temporal Stream-Based Specification Language
Published at SBMF'18
Co-authors: Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Link to arXiv
