基于Event-B的矿井机车运行过程控制的建模与验证研究

【作者】王建斌；

【作者基本信息】合肥工业大学，计算机应用技术， 2017，硕士