退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:验证安全关键软件:静态和动态方法。
Gowen, Lon Douglas.;
Arizona State University.;
机译:迈向安全关键网络物理系统软件的验证驱动的迭代开发
机译:基于神经网络的安全关键控制软件的测试与验证:系统文献综述
机译:安全关键软件的集成形式验证
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:通过部分证明组合对象导向软件的静态和动态验证
机译:敏捷方法的开源安全关键软件
机译:适用于大型安全关键软件的静态分析仪
机译:动态安全关键系统中用于管理数据交换的方法和软件产品
机译:在高动态安全性至关重要的系统中管理数据交换的方法和软件产品
机译:在动态安全关键系统中管理数据交换的方法和软件产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。