助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   
      查看 安全苛求 全部翻译结果 || 字典 | 双语例句 | 英文例句 | 文摘
 

    
没有找到工具书来源!
    
  词对"安全苛求" "safety_critical"来自以下论文
论文关键词词对:安全苛求 safety_critical;形式化方法 formal method;安全性 safety;开发方法 development method;
——来源文献(篇名:安全苛求系统的形式化开发方法 刊名:北方交通大学学报 作者:王海峰,陈建明,张仲义 出版年:2002)
论文关键词词对:城市轨道交通unban rail transit;基于通信的列车控制CBTC(communication-based train control);区域控制Zone Control;基于模型开发model-based development;安全苛求safety critical;北京地铁亦庄线Beijing metro Yizhuang line;
——来源文献(篇名:基于模型的CBTC区域控制系统安全软件开发 刊名:都市快轨交通 作者:王海峰;杨旭文;刘朔;刘超; 出版年:2011)
    
类别频次
非线性科学与系统科学3

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社