退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:UML 2.0活动中的数据流的语义和验证
Störrle Harald;
机译:基于制度理论的UML 2.0活动图形式化语义
机译:语义规范和数据流程图的验证
机译:验证UML2.0软件架构的合同方法
机译:从数据流程图到UML2.0活动图的转换
机译:系统工程中的验证和确认:应用于UML 2.0活动和类图
机译:关于临床研究信息学的FOCUS:使用UMLS语义组从癌症研究共同数据元素中评估价值集的质量
机译:生成验证数据,加密数据流并将数据存储在数据载体中的方法,用于生成验证数据的电路,该验证数据用于验证数据流的授权级别以及加密数据流存储设备载体,计算机程序的产品,记录和计算机编程的
机译:XML文档的数据流分析方法,包括将数据流标签特征发送到过滤器,以验证特征是否符合一个XML数据处理条件集(如果需要上述验证的条件为肯定的)
机译:数据流验证支持装置及数据流验证支持方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。