Event-B形式化方法相关论文
传统道岔控制电路和信号机点灯电路分别用来控制道岔转换和信号机点灯,其可靠性和安全性高低直接影响行车效率和安全。目前铁路上......
软件系统的规模和复杂程度不断提高而传统的需求分析方法难以确保软件的正确性和一致性，为软件系统的质量埋下了隐患。软件工程的实......
期刊
