Login / Signup

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer.

Yilong YangQuan ZuWei KeMiaomiao ZhangXiaoshan Li
Published in: IEEE Access (2019)
Keyphrases
  • real time
  • data acquisition
  • databases
  • multiscale
  • control system
  • machine learning
  • data points
  • low cost
  • modeling language
  • face verification
  • formal verification
  • real time rendering