按条件检索“31”条记录

已选条件: 资源类型: 外文会议论文 ×
导出
  • 排序
  • 显示
1. Specification of railway cyber physical systems using AADL SCOPUS EI

作者: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

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

来源:Lecture Notes in Electrical Engineering,2014,260 LNEE,377-387

收录类别:SCOPUS;EI

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

3. Muti-dimensional architecture modeling for cyber physical systems SCOPUS EI

作者:Xu B.; Zhang L.

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

来源:Lecture Notes in Electrical Engineering,2014,279 LNEE,101-105

收录类别:SCOPUS;EI

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

4. Model transformation for cyber physical systems SCOPUS EI

作者:Feng S.; Zhang L.

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

来源:Lecture Notes in Electrical Engineering,2014,279 LNEE,83-87

收录类别:SCOPUS;EI

Scopus被引:1

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

6. QoS modeling of cyber physical systems by the integration of AADL and aspect-oriented methods lichen zhang SCOPUS EI

作者: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

作者机构:[Zhang, L. ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai 200062, China

来源:Lecture Notes in Electrical Engineering,2014,260 LNEE,419-428

收录类别:SCOPUS;EI

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

11. The modeling and implementation of the sensor data acquisition device of the fall detection system SCOPUS EI

作者:Zhou Q.;Cao G.

通讯作者:Zhou, Qing

通讯作者地址:Zhou, Q.; Software Engineering Institute, East China Normal UniversityChina

作者机构:[Zhou, Qing ;Cao, Guitao ] Software Engineering Institute, East China Normal University, Shanghai, China

来源:WIT Transactions on Information and Communication Technologies,2014,56,49-57

收录类别:SCOPUS;EI

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

13. Specification and Modeling of QoS Based on AADL CPCI-S

作者:Zhang, LC

通讯作者地址:Zhang, LC (reprint author), Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.

作者机构:[Zhang, Lichen] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.; [Zhang, Lichen] E China Normal Univ, 更多

来源:2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND; SERVICE SCIENCE (ICSESS),2014,1107-1110

收录类别:CPCI-S

会议时间:JUN 27-29, 2014

会议名称:5th IEEE International Conference on Software Engineering and Service; Science (ICSESS)

资源类型:外文会议论文

14. A Framework to Specify Big Data Driven Complex Cyber Physical Control Systems SCIE CPCI-S

作者:Zhang, LC

通讯作者地址:Zhang, LC (reprint author), Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.

作者机构:[Zhang, Lichen] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.; [Zhang, Lichen] E China Normal Univ, 更多

来源:2014 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA),2014,548-553

收录类别:SCIE;CPCI-S

会议时间:JUL 28-30, 2014

会议名称:IEEE International Conference on Information and Automation (ICIA)

WOS被引:3

资源类型:外文会议论文

15. Convergence of Physical System and Cyber System Modeling Methods for Aviation Cyber Physical Control System CPCI-S

作者:Zhang, LC

通讯作者地址:Zhang, LC (reprint author), Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.

作者机构:[Zhang, Lichen] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.; [Zhang, Lichen] E China Normal Univ, 更多

来源:2014 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION (ICIA),2014,542-547

收录类别:CPCI-S

会议时间:JUL 28-30, 2014

会议名称:IEEE International Conference on Information and Automation (ICIA)

WOS被引:1

资源类型:外文会议论文

16. Designing Big Data Driven Cyber Physical Systems Based on AADL CPCI-S

作者:Zhang, LC

通讯作者地址:Zhang, LC (reprint author), Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.

作者机构:[Zhang, Lichen] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China.; [Zhang, Lichen] E China Normal Univ, 更多

来源:2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC),2014,3072-3077

收录类别:CPCI-S

会议时间:OCT 05-08, 2014

会议名称:IEEE International Conference on Systems, Man, and Cybernetics (SMC)

WOS被引:1

资源类型:外文会议论文

17. Aspect-oriented modeling for railway control systems SCOPUS EI

作者: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

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

来源:2013 IEEE International Conference on Information and Automation, ICIA 2013,2013,236-241

收录类别:SCOPUS;EI

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

20. Hybrid AADL - A sublanguage extension to AADL SCOPUS EI

作者:Qian Y.;Liu J.;Chen X.

通讯作者:Liu, J.(jliu@sei.ecnu.edu.cn)

通讯作者地址:Liu, J.; East China Normal University, 3663 N. Zhongshan Rd., Shanghai, China; 电子邮件: jliu@sei.ecnu.edu.cn

作者机构:[Qian, Yuqing ] East China Normal University, 14 N Chifeng Rd., Shanghai, China;[Liu, Jing ;Chen, Xiaohong ] East China Normal University, 3663 N. Zho 更多

来源:ACM International Conference Proceeding Series,2013

收录类别:SCOPUS;EI

Scopus被引:1

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

共 2 页, 31 条记录

TOP