Login / Signup

A formal framework capturing real-time and stochastic behavior in connectors.

Yi LiXiyue ZhangYuanyi JiMeng Sun
Published in: Sci. Comput. Program. (2019)
Keyphrases
  • real time
  • high speed
  • main contribution
  • database
  • computational framework
  • mathematical theory
  • databases
  • real world
  • face recognition
  • moving objects
  • lightweight
  • meta level
  • real time systems