退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一种模型驱动的横切断言检查方法
Jing Zhang; Jeff Gray; Yuehua Lin;
机译:基于语义检查的模型驱动方法服务于多组织协作
机译:在流程驱动的SOA中建模和执行安全对象流:集成的模型驱动方法
机译:在科学工作流中安全执行移动任务的主机访问权限的模型检查方法
机译:一种模型驱动的方法来执行横切断言检查
机译:自查程序:通过使用资产来验证程序的公理方法。
机译:大都市地区生死登记的历史方法结果和检查
机译:使用强制格式约束的互补模型驱动和文本开发
机译:非执法实体使用执法受限数据库进行检查的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。