STAn: analysis of data traces using an event-driven interval temporal logic.

Laura Panizo María-del-Mar Gallardo

Published in: Autom. Softw. Eng. (2023)

Keyphrases

temporal logic
data analysis
event driven
database
data sources
query answering
temporal data
model checking
integrity constraints
concurrent systems