退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:随机分布算法定时属性的形式验证
Anna Pogosyants; Roberto Segala;
机译:减少和抽象进行分布式圆形算法正式验证
机译:循环依赖关系的大多数自动化形式验证,以及在分布式模板算法中的应用
机译:分布式算法的形式验证方法:系统文献综述
机译:用于验证分布式系统中全局谓词的分布式算法的性能评估
机译:常春藤:用于分布式算法的多模态验证工具
机译:分布式算法的形式验证
机译:基于穷举状态空间探测算法的航空航天系统安全性能形式化验证
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:使用属性加强和近似法对基于优先级的随机仲裁器进行形式验证
机译:使用属性增强和欠逼近来对基于随机优先级的仲裁器进行形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。