Login / Signup

Interface Verification between the Main Control Board and Driver Board of the All-electronic Interlocking Computer Platform.

Qi FangQingyuan ShangSha WangFagen Fang
Published in: ICITE (2020)
Keyphrases
  • control system
  • information systems
  • computer systems
  • verification method
  • data sets
  • formal verification
  • control unit
  • website
  • user friendly
  • optimal control