退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用sCR进行航天飞机软件变更请求的形式化建模
Virginie Wiels; Steve Easterbrook;
机译:通过软件变更请求服务扩展数据驱动的软件模型
机译:TIMESPACE软件的正式模型
机译:使用SCR的航天飞机软件变更请求的正式建模
机译:空间计划(美国国家航空航天局;航天飞机计划)中国家航空和空间管理师的描述性分析。
机译:具有内部可变性,时空和交叉变量相关性的地球系统模型温度降水实现的联合仿真:fldgen v2.0软件说明
机译:在不同的临界水平上模拟航天飞机软件故障
机译:利用形式化方法辅助航天飞机Gps变更请求的需求分析
机译:数字叠加混合现实镜像软件(DOMRM)该软件是一个虚拟更衣室,可以更改为在生活的其他领域工作。 DOMRM使您能够向人们展示虚拟3D模型并将其显示在他们的身体,面部手和脚上。您可以在屏幕,网站和IOS设备上使用此软件。
机译:使用合适的本体从功能/模态数据重建过程的正式描述模型的方法,系统和软件安排
机译:使用合适的本体从功能/模态数据重构过程的形式化描述模型的方法,系统和软件装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。