TESLA: a formally defined event specification language.

Gianpaolo Cugola Alessandro Margara

Published in: DEBS (2010)

Keyphrases

specification language
formal specification
description language
programming language
symbolic execution
software environment
requirements specification
event detection
databases
general purpose
news articles
data model
expert systems
model checker
database systems
high level
machine learning