按条件检索“2”条记录

已选条件: 刊名: ENGINEERING × 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
1. Comparative Modeling and Verification of Pthreads and Dthreads SCOPUS CPCI-S EI

作者:Fei, Y;Zhu, HB;Wu, X;Fang, HX

通讯作者地址:Fei, Y (reprint author), E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Fei, Yuan; Zhu, Huibiao; Wu, Xi; Fang, Huixing] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China 更多

来源:2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2016,2016-March,132-140

收录类别:SCOPUS;CPCI-S;EI

资源类型:外文期刊论文;外文会议论文

TOP