按条件检索“21”条记录

已选条件: 资源类型: 外文会议论文 ×
导出
  • 排序
  • 显示
3. Towards SMT-Based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems CPCI-S CPCI-SSH

作者:Zhang, M; Ying, YH

通讯作者地址:Ying, YH (reprint author), ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.

作者机构:[Ying, Yunhui] ECNU, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; ECNU, MoE Int Joint Lab Trustworthy Software, Shanghai, Peoples 更多

来源:ACM SIGPLAN NOTICES,2017,Vol.52,Issue.5,61-70

收录类别:CPCI-S;CPCI-SSH

会议时间:JUN 21-22, 2017

会议名称:18th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and; Theory for Embedded Systems (LCTES)

资源类型:外文会议论文

4. An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics EI SCOPUS

作者:Deng Y.;Zhang M.;Lei G.

通讯作者:Zhang, Min(zhangmin@sei.ecnu.edu.cn)

通讯作者地址:Zhang, M.; Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Lab of Trustworthy Software, International Research Center of Trustworthy Software, East China Normal UniversityChina; 电子邮件: zhangmin@sei.ecnu.edu.cn

作者机构:[Deng, Yuxin ;Zhang, Min ;Lei, Guoqing ] Shanghai Key Laboratory of Trustworthy Computing, MOE International Joint Lab of Trustworthy Software, Intern 更多

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2017,10610 LNCS,464-480

收录类别:EI;SCOPUS

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

6. Model-checking software library API usage rules SCOPUS SCIE CPCI-S EI

作者:Song, F; Touili, T

通讯作者:Song, Fu(fsong@sei.ecnu.edu.cn)

通讯作者地址:Song, F (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China.

作者机构:[Song, Fu] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China.; 更多

来源:SOFTWARE AND SYSTEMS MODELING,2016,15,4,961-985

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

当年影响因子:1.654

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

12. Efficient Self-Learning Techniques for SAT-Based Test Generation SCIE CPCI-S

作者:Li, A;Chen, MS

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

作者机构:[Li, Ang; Chen, Mingsong] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.

来源:CODES+ISSS'12:PROCEEDINGS OF THE TENTH ACM INTERNATIONAL CONFERENCE ON; HARDWARE/SOFTWARE-CODESIGN AND SYSTEM SYNTHESIS,2012,197-205

收录类别:SCIE;CPCI-S

会议时间:OCT 07-12, 2012

会议名称:10th ACM International Conference on Hardware/Software-Codesign and; System Synthesis

WOS被引:1

资源类型:外文会议论文

14. Verification of channel passing in choreography with model checking SCOPUS EI

作者:Peng L.;Cai C.;Zongyan Q.;Pu G.

通讯作者:Peng, L.(ply@math.pku.edu.cn)

通讯作者地址:Peng, L.; Department of Informatics, School of Math., Peking University, Beijing, China; 电子邮件: ply@math.pku.edu.cn

作者机构:[Peng, Liyang ;Cai, Chao ;Zongyan, Qiu ] Department of Informatics, School of Math., Peking University, Beijing, China;[Pu, Geguang ] Software Enginee 更多

来源:IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09,2009,286-290

收录类别:SCOPUS;EI

Scopus被引:1

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

15. Formal semantics of UML state diagram and automatic verification based on Kripke structure SCOPUS EI

作者:Yefei Z.; Yang Z.-Y.; Jinkui X.

通讯作者:Yefei, Z.(derekzhaoecnu@gmail.com)

通讯作者地址:Yefei, Z.; Dept . of Computer Science, East China Normal University, Shanghai, China; 电子邮件: derekzhaoecnu@gmail.com

作者机构:[Yefei, Zhao ;Yang, Zong-Yuan ;Jinkui, Xie ] Dept . of Computer Science, East China Normal University, Shanghai, China

来源:Canadian Conference on Electrical and Computer Engineering,2009,974-978

收录类别:SCOPUS;EI

Scopus被引:3

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

17. Formal semantics of UML state diagram and automatic verification Based on Kripke structure CPCI-S

作者:Zhao, YF;Yang, ZY;Xie, J

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

作者机构:[Zhao, Yefei; Yang Zong-yuan; Xie, Jinkui] E China Normal Univ, Dept Comp Sci, Shanghai 200062, Peoples R China.

来源:2009 IEEE 22ND CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER; ENGINEERING, VOLS 1 AND 2,2009,90-94

收录类别:CPCI-S

会议时间:MAY 03-06, 2009

会议名称:22nd IEEE Canadian Conference on Electrical and Computer Engineering

资源类型:外文会议论文

18. Modelling and Verification of Web Navigation CPCI-S

作者:Ding, ZH;Jiang, MY;Pu, GG;Sanders, JW

通讯作者地址:Ding, ZH (reprint author), Zhejiang Sci Tech Univ, Ctr Math Comp & Software Engn, Hangzhou 310018, Zhejiang, Peoples R China.

作者机构:[Ding, Zuohua; Jiang, Mingyue] Zhejiang Sci Tech Univ, Ctr Math Comp & Software Engn, Hangzhou 310018, Zhejiang, Peoples R China.; [Pu, Geguang] Eas 更多

来源:WEB ENGINEERING, PROCEEDINGS,2009,Vol.5648,181-+

收录类别:CPCI-S

会议时间:JUN 24-26, 2009

会议名称:9th International Conference on Web Engineering

资源类型:外文会议论文

19. Witness And Counter-example on 3-valued Model Checking SCOPUS EI CPCI-S

作者:Guo, J;Han, JG;Jin, NY

通讯作者:Guo, J.(jguo@sei.ecnu.edu.cn)

通讯作者地址:Guo, J (reprint author), Xidian Univ, Inst Microelect, Xian 710071, Peoples R China.

作者机构:[Guo Jian] Xidian Univ, Inst Microelect, Xian 710071, Peoples R China.; [Han Jungang] Xian Inst posts & Telecommun, Dept Comp, Xian 710061, Peoples 更多

来源:FIFTH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY,; VOL 2, PROCEEDINGS,2008,Vol.2,633-637

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

会议时间:OCT 18-20, 2008

会议名称:5th International Conference on Fuzzy Systems and Knowledge Discovery

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

共 2 页, 21 条记录

TOP