Login / Signup

Formal Verification Method of CTCS-2 Level Train Control Engineering Data Based on the Reduced Ordered Binary Decision Diagram.

Hao ZhangQing XuKe Ye
Published in: IEEE Access (2024)
Keyphrases
  • data analysis
  • raw data
  • database
  • verification method
  • database systems
  • data structure
  • xml documents
  • knowledge discovery
  • software engineering
  • data mining techniques
  • data mining algorithms