退出
我的积分:
中文文献批量获取
外文文献批量获取
不详;
导航电子地图; 检测规范; 国家测绘局; 行业标准; 推荐性;
机译:导航电子地图质量检测样本数据库的构建与应用探讨
机译:SNL2Z:用于将非正式结构化软件规范转换为正式规范的工具科学出版物
机译:正式验证决策树集合模型和违规范围的检测
机译:朝着仿真,正式分析和颁布的综合框架,离散事件系统模型
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:非正式指导在古巴颁布即时,非正式和真实性
机译:从正式系统规范中检测潜在的同步约束死锁。
机译:用于实施源自非正式要求的正式规范的系统,方法和设备
机译:使用示例生成正式规范
机译:根据正式规范生成应用程序代码
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。