退出
我的积分:
中文文献批量获取
外文文献批量获取
李春泰;
嘉应大学,政法系,广东,梅州,514015;
数学; 模型方法; 形式化;
机译:基于形式化方法和模型转换的模型驱动的水资源分析方法
机译:共同演化的元模型及其实例模型:基于图变换的形式化方法
机译:拆分拓扑模型以进行分布式云应用程序部署的方法,形式化方法和算法
机译:需求规格的正确形式化:用于构建形式化模型的V模型
机译:分子表示和分类的新模型:基于ETS框架的形式化方法。
机译:使用数据驱动的模型-脑映射来约束形式化的认知模型
机译:交互设计中需要基于形式化模型的非形式化方法
机译:经验动态模型优化与验证的形式化方法。
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
机译:测量形式化设备,测量形式化方法和测量形式化程序
机译:业务形式化程序,业务形式化方法和业务形式化设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。