@article{陈永_851, author = {[陈永, 胡晓辉, 李欣, 肖知屹]}, title = {列车安全距离控制形式化建模与验证}, publisher = {《计算机应用》唯一官方网站}, year = {2014}, journal = {计算机应用}, volume = {34}, number = {3}, eid = {851}, pages = {851-856}, keywords = {

Event-B方法;列车控制;多智能体;形式化建模;分布式系统

}, doi = http://www.joca.cn/CN/10.11772/j.issn.1001-9081.2014.03.0851 }