Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3.
ABZ（2018）
关键词
European Rail Traffic Management System, Ghost Train, StateMachine, Surrealist Movement (MA), Radio Block Centre (RBC)
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要