Time-bounded analysis of real-time systems.

Sagar Chaki Arie Gurfinkel Ofer Strichman

Published in: FMCAD (2011)

Keyphrases

real time systems
data analysis
decision making
fuzzy logic
data warehouse
fine grained