按条件检索“21”条记录

已选条件: 资源类型: 外文会议论文 ×
导出
  • 排序
  • 显示
3. 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

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

5. Modeling and Verifying Google File System SCOPUS CPCI-S EI

作者:Li, B;Wang, MD;Zhao, YX;Pu, GG;Zhu, HB;Song, F

通讯作者:Pu, Geguang

通讯作者地址:Pu, GG (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Li, Bo; Wang, Mengdi; Zhao, Yongxin; Pu, Geguang; Zhu, Huibiao; Song, Fu] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, People 更多

来源:2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2015,2015-January,January,207-214

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

WOS被引:1

Scopus被引:4

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

6. Formalization and Verification of REST Architecture in Viewpoints SCOPUS CPCI-S EI

作者:Tang, YT;Wu, X;Zhu, HB;Guo, J

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

作者机构:[Tang, Yiting; Wu, Xi; Zhu, Huibiao; Guo, Jian] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Inst Software Engn, Shanghai, Peoples R Chi 更多

来源:2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS; ENGINEERING (HASE),2015,2015-January,January,197-206

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

WOS被引:1

Scopus被引:1

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

7. Formal specification of railway control systems SCOPUS EI

作者:Xu B.; Zhang L.

通讯作者:Zhang, L.(zhanglichen1962@163.com)

通讯作者地址:Zhang, L.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Xu, Bingqing ;Zhang, Lichen ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,260 LNEE,389-399

收录类别:SCOPUS;EI

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

8. Formalizing Google File System SCOPUS CPCI-S EI

作者:Wang, MD;Li, B;Zhao, YX;Pu, GG

通讯作者:Pu, Geguang

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

作者机构:[Wang, Mengdi; Li, Bo; Zhao, Yongxin; Pu, Geguang] E China Normal Univ, Inst Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, People 更多

来源:2014 20TH IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE; COMPUTING (PRDC 2014),2014,190-191

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

WOS被引:3

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

11. Modeling and Verifying the Ariadne Protocol Using CSP SCOPUS CPCI-S EI

作者:Wu, X;Liu, S;Zhu, HB;Zhao, YX;Chen, L

通讯作者:Wu, X.(xiwu@sei.ecnu.edu.cn)

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

作者机构:[Wu, Xi; Liu, Si; Zhu, Huibiao; Zhao, Yongxin] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

来源:2012 IEEE 19TH INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF; COMPUTER BASED SYSTEMS (ECBS),2012,24-32

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

WOS被引:3

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

12. Modeling and analysis of the behavior of uCOS Kernel based on CSP SCOPUS EI

作者:Xu Z.H.

通讯作者:Xu, Z. H.(zhxu@sei.ecnu.edu.cn)

通讯作者地址:Xu, Z. H.; Shanghai Embedded System Institute, East China Normal University, Shanghai, China; 电子邮件: zhxu@sei.ecnu.edu.cn

作者机构:[Xu, Zhen Hong ] Shanghai Embedded System Institute, East China Normal University, Shanghai, China

来源:Proceedings - International Conference on Quality Software,2010,503-509

收录类别:SCOPUS;EI

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

13. Promoting Models SCIE CPCI-S

作者:Li, Q;Zhao, YX;Wu, XF;Liu, S

通讯作者地址:Li, Q (reprint author), E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

作者机构:[Li, Qin; Zhao, Yongxin; Wu, Xiaofeng; Liu, Si] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:UNIFYING THEORIES OF PROGRAMMING,2010,Vol.6445,234-252

收录类别:SCIE;CPCI-S

会议时间:NOV 15-16, 2010

会议名称:3rd International Symposium on Unifying Theories of Programming

资源类型:外文会议论文

14. Trustworthy scheduling based on constraint solving scheme SCOPUS EI

作者:Zhang J.;Chen Y.

通讯作者:Zhang, J.(jyzhang@sei.ecnu.edu.cn)

通讯作者地址:Zhang, J.; Software Engineering Institution, East China Normal University, Shanghai, China; 电子邮件: jyzhang@sei.ecnu.edu.cn

作者机构:[Zhang, Juyang ;Chen, Yixiang ] Software Engineering Institution, East China Normal University, Shanghai, China

来源:ICCIT 2009 - 4th International Conference on Computer Sciences and Convergence Information Technology,2009,1305-1307

收录类别:SCOPUS;EI

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

15. Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources SCOPUS CPCI-S EI SCIE

作者:Ding, JQ;Zhu, H;Zhu, HB;Li, Q

通讯作者:Jieqi, D.(jqding@sei.ecnu.edu.cn)

通讯作者地址:Ding, JQ (reprint author), E China Normal Univ, Inst Software Engn, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.

作者机构:[Ding, Jieqi; Zhu, Han; Zhu, Huibiao; Li, Qin] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE; ENGINEERING, PROCEEDINGS,2009,327-328

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

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

16. Modeling MapReduce with CSP SCOPUS CPCI-S EI

作者:Su, W;Yang, F;Zhu, HB;Li, Q

通讯作者:Wen, S.(wensu@sei.ecnu.edu.cn)

通讯作者地址:Su, W (reprint author), E China Normal Univ, Inst Software Engn, 3663 Zhongshan Rd N, Shanghai 200062, Peoples R China.

作者机构:[Su, Wen; Yang, Fan; Zhu, Huibiao; Li, Qin] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE; ENGINEERING, PROCEEDINGS,2009,301-302

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

WOS被引:2

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

17. Trustworthy Scheduling based on Constraint Solving Scheme CPCI-S

作者:Zhang, JY;Chen, YX

通讯作者地址:Zhang, JY (reprint author), E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

作者机构:[Zhang, Juyang; Chen, Yixiang] E China Normal Univ, Inst Software Engn, Shanghai 200062, Peoples R China.

来源:ICCIT: 2009 FOURTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND; CONVERGENCE INFORMATION TECHNOLOGY, VOLS 1 AND 2,2009,1305-1307

收录类别:CPCI-S

会议时间:NOV 24-26, 2009

会议名称:4th International Conference on Computer Sciences and Convergence; Information Technology

资源类型:外文会议论文

18. DESP-COM model based on context-aware in pervasive computing SCOPUS EI

作者:Cai P.;He L.

通讯作者:He, L.(lhe9191@ica.stc.sh.cn)

通讯作者地址:He, L.; Computer Science Department, East China Normal University, Shanghai, China; 电子邮件: lhe9191@ica.stc.sh.cn

作者机构:[Cai, Ping ;He, Liang ] Computer Science Department, East China Normal University, Shanghai, China

来源:Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, ICNSC,2008,1158-1163

收录类别:SCOPUS;EI

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

19. A semantic modeling and verification approach of workflow process based on CSP SCOPUS EI

作者:Guo L.; Lu Z.; Gu J.

通讯作者:Guo, L.(huhucalf107@tom.com)

通讯作者地址:Guo, L.; Dept. of Computer Science, East China Normal University, Shanghai, China; 电子邮件: huhucalf107@tom.com

作者机构:[Guo, Lihua ;Lu, Zhao ;Gu, Junzhong ] Dept. of Computer Science, East China Normal University, Shanghai, China

来源:Proceedings of the Second International Conference on Communications and Networking in China, ChinaCom 2007,2008,165-169

收录类别:SCOPUS;EI

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

20. DESP-COM model based on context-aware in Pervasive Computing CPCI-S

作者:Cai, P;He, L

通讯作者地址:He, L (reprint author), E China Normal Univ, Dept Comp Sci, Shanghai 200062, Peoples R China.

作者机构:[Cai, Ping; He, Liang] E China Normal Univ, Dept Comp Sci, Shanghai 200062, Peoples R China.

来源:PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING; AND CONTROL, VOLS 1 AND 2,2008,1158-1163

收录类别:CPCI-S

会议时间:APR 06-08, 2008

会议名称:IEEE International Conference on Networking, Sensing and Control

资源类型:外文会议论文

共 2 页, 21 条记录

TOP