退出
我的积分:
中文文献批量获取
外文文献批量获取
齐蕾蕾; 杨庆红; 游颖;
江西师范大学计算机信息工程学院;
形式化方法; Isabelle定理证明器; 自动化验证; 形式化推导;
机译:形式化网络流算法:Isabelle / HOL中的改进方法
机译:形式化操纵推导的新型高效重定时算法
机译:个人支持算法的推导和验证:一个基于证据的框架,用于告知家庭和社区护理中个人支持服务的分配
机译:基于算法的正式推导和基于Isabelle的自动验证
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:基于输入/输出自动化的分布式互斥算法的形式化模型
机译:基于穷举状态空间探测算法的航空航天系统安全性能形式化验证
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:自动化技术中通过形式化合同和程序验证来解决最终用户程序变更的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。