退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:模型检查:最近的改进和应用
Dragan Bošnački; Anton Wijs;
机译:模型检查:最新改进和应用
机译:Mastercam工具处理建模和加工:CADALYST Labs检验Mastercam铣削和实体建模应用程序
机译:用于分析右删截和左截断下的双变量死亡率的Kaplan-Meier估计器的推广及其在生存copula模型的模型检查中的应用
机译:算法代数模型检查II:半代数模型检查的可确定性及其在系统生物学中的应用
机译:增强了用于商业软件应用程序的统一建模语言模型检查。
机译:模型检查均值模型:算法与应用
机译:Web应用程序的配置建模和一致性检查的方法和装置
机译:使用应用程序平台工具进行对象模型的生命周期管理和一致性检查
机译:使用应用平台工具的对象模型的生命周期管理和一致性检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。