Sign in

Applying Formal Methods to Modeling and Analysis of Real-time Data Streams.

Krasimira KapitanovaYuan WeiWoochul KangSang Hyuk Son
Published in: J. Comput. Sci. Eng. (2011)
Keyphrases
  • real time
  • formal methods
  • data streams
  • data sets
  • safety critical
  • information systems
  • relational databases
  • sensor networks
  • sliding window
  • modeling language
  • formal specification