按条件检索“34”条记录

已选条件: 资源类型: 外文会议论文 ×
导出
  • 排序
  • 显示
4. Improved Co-Simulation with Event Detection for Stochastic Behaviors of CPSs SCOPUS CPCI-S EI SCIE

作者:Liu, JF;Jiang, KQ;Wang, X;Cheng, B;Du, DH

通讯作者:Du, Dehui(dhdu@sei.ecnu.edu.cn)

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

作者机构:[Liu, Jufu; Jiang, Kaiqiang; Wang, Xiao; Cheng, Bei; Du, Dehui] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R 更多

来源:PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS; CONFERENCE WORKSHOPS, VOL 1,2016,1,209-214

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

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

5. Specifying Cyber-Physical System Safety Properties with Metric Temporal-Spatial Logic SCOPUS EI CPCI-S

作者:Sun, HY;Liu, J;Chen, XH;Du, DH

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

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

作者机构:[Sun, Haiying; Liu, Jing; Chen, Xiaohong; Du, Dehui] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Sun, Ha 更多

来源:2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015),2015,Vol.2016-May,254-260

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

会议时间:DEC 01-04, 2015

会议名称:22nd Asia-Pacific Software Engineering Conference (APSEC)

WOS被引:1

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

6. Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs SCOPUS EI SCIE CPCI-S

作者:Cheng, B;Wang, X;Liu, JF;Du, DH

通讯作者:Du, Dehui(dhdu@sei.ecnu.edu.cn)

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

作者机构:[Cheng, Bei; Wang, Xiao; Liu, Jufu; Du, Dehui] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:39TH ANNUAL IEEE COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE; (COMPSAC 2015), VOL 2,2015,2,127-136

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

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

7. A case study for cyber physical system with hybrid relation calculus 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,147-151

收录类别:SCOPUS;EI

Scopus被引:1

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

8. 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

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

9. 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

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

10. Task Scheduling in Cyber-Physical Systems SCOPUS EI CPCI-S

作者:Liu, CY; Zhang, LC; Zhang, DQ

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

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

作者机构:[Liu, Chunyao; Zhang, Lichen] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; [Zhang, Daqiang] Tongji Univ, S 更多

来源:2014 IEEE 11TH INTL CONF ON UBIQUITOUS INTELLIGENCE AND COMPUTING AND; 2014 IEEE 11TH INTL CONF ON AUTONOMIC AND TRUSTED COMPUTING AND 2014; IEEE 14TH INTL CONF ON SCALABLE COMPUTING AND COMMUNICATIONS AND ITS; ASSOCIATED WORKSHOPS,2014,319-324

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

会议时间:DEC 09-12, 2014

会议名称:IEEE Int Conf on Ubiquitous Intelligence and Computing (UIC) / 11th IEEE; Int Conf on Autonomic and Trusted Computing (ATC) / 14th IEEE Int Conf; on Scalable Computing and Communications (ScalCom)

WOS被引:1

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

11. 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

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

15. Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs SCOPUS EI SCIE

作者:Bei Cheng;Dehui Du

通讯作者:Du, Dehui

通讯作者地址:Du, D.; Shanghai Key Laboratory of Trustworthy Computing, East China Normal UniversityChina

作者机构:[Cheng, Bei ;Du, Dehui ] Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China

来源:2014 International Symposium on Theoretical Aspects of Software; Engineering (TASE). Proceedings,2014,162-169

收录类别:SCOPUS;EI;SCIE

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

16. A clock based approach to the formal specification of cyber physical 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,401-409

收录类别:SCOPUS;EI

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

18. Formal descriptions of cyber physical systems using clock theory SCOPUS EI

作者:Xu B.; Zhang L.

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

通讯作者地址:Zhang, L.; Faculty of Software Engineering Institute, East China Normal University, Shanghai 200062, China; 电子邮件: zhanglichen1962@163.com

作者机构:[Xu, Bingqing ] Software Engineering Institute, East China Normal University, 200062 Shanghai, China;[Zhang, Lichen ] Faculty of Software Engineering 更多

来源:Lecture Notes in Electrical Engineering,2014,274 LNEE,137-142

收录类别:SCOPUS;EI

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

共 2 页, 34 条记录

TOP