退出
我的积分:
中文文献批量获取
外文文献批量获取
谯婷婷; 王乐; 耶国栋;
1. 中国航空工业集团西安飞行自动控制研究所 2. 西安电子科技大学通信工程学院 3. 中国移动通信集团陕西有限公司西安分公司;
软件可靠性; 结构分析与设计语言; 安全等级; 流延迟;
机译:使用AADL(体系结构分析和设计语言)进行软件可靠性建模
机译:AADL2TASM:AADL模型的验证和分析工具
机译:实现从AADL到基于组件的正式语言FIACRE的经过验证的转换
机译:基于AADL的嵌入式软件可靠性建模分析研究
机译:基于架构的软件可靠性分析与优化
机译:NPSO在动态加权NHPP模型上的新方法用于带有附加故障引入参数的软件可靠性分析
机译:aaDL和基于模型的工程。
机译:软件可靠性预测设备,软件可靠性预测程序和计算机可读存储介质记录软件可靠性预测程序
机译:软件可靠性增长模型选择方法,软件可靠性增长模型选择装置,软件可靠性增长模型选择程序和程序记录介质
机译:高可靠性软件文件生成系统和软件可靠性验证系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。