基于改進(jìn)Event-B建模的高速列車追蹤運(yùn)行仿真研究
2015-07-03 12:20:04陳永,張薇,胡曉輝
計(jì)算機(jī)工程 2015年8期
猜你喜歡
體育科技文獻(xiàn)通報(bào)(2022年3期)2022-05-23 13:46:54
遼金歷史與考古(2021年0期)2021-07-29 01:06:54
小哥白尼(趣味科學(xué))(2021年4期)2021-07-28 02:23:50
云南畫報(bào)(2021年4期)2021-07-22 06:17:10
中學(xué)生數(shù)理化(高中版.高考理化)(2020年11期)2020-12-14 07:36:02
科技傳播(2019年22期)2020-01-14 03:06:54
小學(xué)生學(xué)習(xí)指導(dǎo)(低年級)(2019年6期)2019-07-22 03:32:48
民用飛機(jī)設(shè)計(jì)與研究(2019年4期)2019-05-21 07:21:24
電子制作(2018年17期)2018-09-28 01:56:44
通信電源技術(shù)(2018年5期)2018-08-23 01:15:36
