退出
我的积分:
中文文献批量获取
外文文献批量获取
第一个书签之前
王明明;
南京航空航天大学;
形式化模型; 系统安全性; 分析与验证;
机译:使用形式化模型的嵌入式系统验证一种基于UML和Maude语言结合使用的方法
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:用于验证底层操作系统代码的形式化内存模型
机译:基于MAS的动态Web服务组合基于MAS的形式化模型和使用Spi演算的简单安全性分析
机译:基于模型的网络物理系统安全性分析和验证。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:基于定性和定量形式化模型的安全性分析:按安全性按钮
机译:基于穷举状态空间探测算法的航空航天系统安全性能形式化验证
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
机译:基于人工智能级模型验证的基于人工智能类模型验证的编码课程的方法,装置和计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。