CORC

浏览/检索结果: 共2条,第1-2条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Fault-tree-based instantaneous risk computing core in nuclear power plant risk monitor 期刊论文
ANNALS OF NUCLEAR ENERGY, 2016, 卷号: 95, 期号: 无, 页码: 35-41
作者:  Wang, Jin;  Wang, Fang;  Chen, Shanqi;  Wang, Jiaqun;  Hu, Liqin
收藏  |  浏览/下载:16/0  |  提交时间:2017/12/18
可信编译器构造的翻译确认方法简述 期刊论文
2016, 2016
刘洋; 杨斐; 石刚; 闫鑫; 王生原; 董渊; LIU Yang; YANG Fei; SHI Gang; YAN Xin; WANG Sheng-yuan; DONG Yuan
收藏  |  浏览/下载:6/0


©版权所有 ©2017 CSpace - Powered by CSpace