退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过模型检查使用时间参数验证安全策略过滤规则
Olga Vitalievna Polubelova; Igor Vitalievich Kotenko;
机译:基于模型检查的移动系统安全策略验证方法
机译:在模型检查中使用模型检查技术为非专业人员验证业务规则
机译:通过模型检查和形式设计规则检查扩展静态验证
机译:通过模型检查验证安全策略过滤规则
机译:货币政策规则:具有时变参数的马尔可夫切换模型的一些证据。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:1模型检查对互操作性安全策略的验证
机译:基于安全性管理模型的工业环境中基于认证的安全性政策检查与验证系统
机译:将PSL的简单子集转换为SERE蕴涵公式,以使用语义保留重写规则通过模型检查和仿真引擎进行验证
机译:使用语义保留重写规则将PSL的简单子集转换为用于模型检验和模拟引擎验证的隐含公式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。