退出
我的积分:
中文文献批量获取
外文文献批量获取
何晓晔; 徐培德; 沙基昌;
国防科技大学信息系统与管理学院;
任务空间概念模型; 形式化; 校核; 验证;
机译:图像形式化空间:任务,结构属性和元素的表述
机译:温跃线以下逆西部边界暗流形成机理初探-概念模型
机译:方法对目标分配的分配任务的参数形式化的研究和软件开发
机译:使用轻量级形式化方法对RBAC到XACML的翻译进行形式化和验证
机译:使用任务分析行为建模,错误的人类行为生成和形式化方法来评估人类自动化交互在系统故障中的作用。
机译:计算机视觉中轻量级任务的小网络:基于特征表示的修剪方法
机译:臭虫的自然史:利用形式化方法分析空间任务中的软件相关故障
机译:使用轻量级形式化方法进行需求建模的经验
机译:概念模型空间中内容表示和检索的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。