退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:回声消除单元的形式完善和模型检查
Alexander Krupp; Wolfgang Mueller; Ian Oliver;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:检查使用基于图形的形式化建模语言构建的模型
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:使用统计模型检查正式验证启发式自主交叉管理
机译:正式系统模型的自动细化检查
机译:基于符号模型检验的大型模型可诊断性实用形式验证
机译:使用并发模型约简和模型检查对模型进行形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。