全部成果分类

按条件检索“1”条记录

已选条件: 刊名: SYSTEMS × 来源数据库: CPCI-S ×
导出
  • 排序
  • 显示
1. ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System SCOPUS CPCI-S EI

作者:Shi, JQ;He, JF;Zhu, HB;Fang, HX;Huang, YH;Zhang, XX

通讯作者:Shi, J.(jqshi@sei.ecnu.edu.cn)

通讯作者地址:Shi, JQ (reprint author), E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

作者机构:[Shi, Jianqi; He, Jifeng; Zhu, Huibiao; Fang, Huixing; Huang, Yanhong] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, People 更多

来源:2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER; SYSTEMS (ICECCS),2012,293-301

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

WOS被引:6

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

TOP