按条件检索“9”条记录

已选条件: 资源类型: 外文会议论文 ×
导出
  • 排序
  • 显示
4. Constructing property-oriented models for verification SCIE CPCI-S

作者:He, JF;Qin, SC;Sherif, A

通讯作者地址:Qin, SC (reprint author), Univ Durham, Dept Comp Sci, Durham DH1 3HP, England.

作者机构:[He, JF; Qin, SC; Sherif, A]Univ Durham, Dept Comp Sci, Durham DH1 3HP, England.;[He, JF; Qin, SC; Sherif, A] E China Normal Univ, Software 更多

来源:UNIFYING THEORIES OF PROGRAMMING,2006,Vol.4010,85-100

收录类别:SCIE;CPCI-S

会议时间:FEB 05-07, 2006

会议名称:1st International Symposium on Unifying Theories of Programming

WOS被引:1

资源类型:外文会议论文

8. Refinement algebra for formal bytecode generation EI

作者:Duran, Adolfo ;Cavalcanti, Ana ;Sampaio, Augusto

作者机构:[Duran, Adolfo ;Cavalcanti, Ana ;Sampaio, Augusto ] Centro de Informática, Universidade Federal de Pernambuco, Po Box 7851, Recife; PE, Brazil

来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2002,Vol.2495,347-358

收录类别:EI

会议时间:October 21, 2002 - October 25, 2002

会议名称:4th International Conference on Formal Engineering Methods, ICFEM 2002

资源类型:外文会议论文

9. Formalising VERILOG SCOPUS EI

作者:Jifeng H.; Huibiao Z.

通讯作者:Jifeng, H.

通讯作者地址:Jifeng, H.; International Institute for Software Technology, United Nations University, P.O. Box 3058, Macau, Brazil

作者机构:[Jifeng, He ;Huibiao, Zhu ] International Institute for Software Technology, United Nations University, P.O. Box 3058, Macau, Brazil;[Jifeng, He ] Dep 更多

来源:Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems,2000,1,412-415

收录类别:SCOPUS;EI

Scopus被引:19

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

TOP