退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用Hills指定模型的正式验证:复杂系统的多分析建模的进一步步骤
Kehinde G. Samuel; Oumar Maiga; Mamadou K. Traoré;
机译:使用HiLLS指定的模型进行正式验证:复杂系统的多分析建模的又一步
机译:通过统计模型检查对概率SystemC模型进行形式验证
机译:安全建模和正式验证生存性的特性:网络物理系统的应用
机译:具有事件B的自适应系统的逐步形式化建模和验证。流动站自动保护案例研究
机译:用于混合控制系统的模型重构的正式验证=混合控制系统的模型重构的正式验证
机译:步骤:使用Python建模和模拟复杂的反应扩散系统
机译:用于开发和验证形式富裕模型的方法和工具,用于复杂软件和硬件系统的要求和架构
机译:使用并发模型约简和模型检查对模型进行形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。