Login / Signup

Modeling and Verification of the Length of the Entrance and Exit Sections of an Undersea Tunnel.

Lixia ZhangYongzheng YangFuquan PanZheng WangChangxi MaShengxue ZhuJinshun Yang
Published in: IEEE Access (2021)
Keyphrases
  • high speed
  • real world
  • information retrieval
  • web pages
  • three dimensional
  • image sequences
  • wide range
  • model checking
  • colored petri nets