退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:活度检查是对无限状态空间的安全检查
Schuppan Viktor; Biere Armin;
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:通过K-Excuction和证人用约束生成的模型检查安全和活力
机译:分布式算法和系统的保证:安全性和活力的运行时检查
机译:无限状态反应系统的可实现性检查和合成的正式技术
机译:司机教育教练提供的简要级指导的青少年驾驶员安全干预(检查点)的有效性
机译:武装警察提供的装甲车安全检查,以确保人民生命和价值的安全
机译:使用桥梁中间带间距的安全检查装置
机译:利用桥的中间带状空间的安全检查装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。