退出
我的积分:
中文文献批量获取
外文文献批量获取
刘彦斌; 朱小冬;
军械工程学院维修工程研究所;
石家庄;
050003;
软件故障; 软件监控; 形式化方法; 插桩;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:基于面向方面的软件架构分析的形式化方法
机译:基于证据的领域软件形式化程度评估与分析研究
机译:基于姿势估计技术的移动应用程序运行形式分析
机译:使用形式化分析和基于搜索的技术来解决需求级别的网络物理系统的保证
机译:基于软件定义的无线电技术的Lora交通发电机用于Lora调制正交分析:实证和实验评估
机译:安全软件体系结构的形式化分析技术
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:基于应用程序运行时的软件要素状态变化的捕获以及基于状态变化的应用程序修改
机译:用于产生和分析方法的软件开发系统以及软件性能分析信息带来基于处理器的设备,软件性能分析信息
机译:基于计算机模拟技术的基于硫化物的固体电解质分析方法和基于计算机模拟技术的基于硫化物的固体电解质分析程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。