ETL: A new temporal language for the verification of cyber-physical systems.

Daniel Bouskela Audrey Jardin

Published in: SysCon (2018)

Keyphrases

cyber physical systems
cyber physical
business intelligence
data warehousing
data warehouse
real time
physical world
model checking
databases
data analysis
decision makers
decision support system
unsupervised learning