Login / Signup

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.

Maryam BagheriEdward A. LeeEunsuk KangMarjan SirjaniEhsan KhamespanahAli Movaghar
Published in: MEMOCODE (2020)
Keyphrases
  • lightweight
  • detection method
  • control system
  • sensor networks
  • computationally efficient
  • real time
  • face recognition
  • objective function