• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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