Login / Signup
Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach.
Feng Tan
Yufei Wang
Qixin Wang
Lei Bu
Rong Zheng
Neeraj Suri
Published in:
DSN (2013)
Keyphrases
</>
spatio temporal
association rules
mobile devices
temporal aspects
moving objects
digital images
image quality
association rule mining
formal model
temporal constraints
production rules
hybrid models