Login / Signup

Formal Analysis of TSN Scheduler for Real-Time Communications.

Jin LvYongxin ZhaoXi WuYongjian LiQiang Wang
Published in: IEEE Trans. Reliab. (2021)
Keyphrases
  • formal analysis
  • real time
  • formal methods
  • agent model
  • control system
  • vision system
  • case study
  • communication systems
  • wireless sensor networks
  • response time
  • low cost
  • real time systems