-
陈邦兴
-

-

- 所属机构:同济大学电子与信息工程学院
- 所在地区:上海市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 吴芳美

- 作品数:62被引量:274H指数:8
- 供职机构:同济大学电子与信息工程学院
- 研究主题:铁路信号 软件测试 安全性 计算机联锁 联锁软件
- 徐中伟

- 作品数:124被引量:381H指数:10
- 供职机构:同济大学
- 研究主题:软件测试 安全苛求系统 CBTC 安全性 列控中心
- 梅萌

- 作品数:37被引量:69H指数:5
- 供职机构:同济大学电子与信息工程学院
- 研究主题:列车 CBTC 跟驰 移动闭塞系统 列控系统
- 唐晨

- 作品数:3被引量:0H指数:0
- 供职机构:同济大学电子与信息工程学院
- 研究主题:形式化方法 EVENT-B EVENT 形式化建模 形式化
- 祝玉军

- 作品数:3被引量:12H指数:2
- 供职机构:同济大学电子与信息工程学院
- 研究主题:贝叶斯网络 安全性 高铁 概率安全评估 故障树