Login / Signup

Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach.

Feng TanYufei WangQixin WangLei BuRong ZhengNeeraj 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