导出
  • 排序
  • 显示
4. Preface for the special issue of the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016) SCOPUS

作者:Bonsangue M.; Deng Y.

通讯作者地址:Bonsangue, M.; Leiden UniversityNetherlands; 电子邮件: m.m.bonsangue@liacs.leidenuniv.nl

作者机构:[Bonsangue, M] Leiden University, Netherlands;[ Deng, Y] East China Normal University, China

来源:Science of Computer Programming,2018

收录类别:SCOPUS

资源类型:外文期刊论文

7. Formal development of multi-agent systems using MAZE SCOPUS SCIE EI

作者:Li, Q;Smith, G

通讯作者:Li, Qin(qli@sei.ecnu.edu.cn)

通讯作者地址:Li, Q (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Putuo Qu, Shanghai Shi, Peoples R China.

作者机构:[Li, Qin] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Putuo Qu, Shanghai Shi, Peoples R China.; [Smith, Graeme] Univ Queensland, Sch 更多

来源:SCIENCE OF COMPUTER PROGRAMMING,2016,131,126-150

收录类别:SCOPUS;SCIE;EI

当年影响因子:1.064

Scopus被引:1

资源类型:外文期刊论文

10. Formalizing hybrid systems with Event-B and the Rodin Platform SCOPUS SCIE EI

作者:Su, W;Abrial, JR;Zhu, HB

通讯作者:Zhu, Huibiao

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

作者机构:[Su, Wen] Shanghai Univ, Sch Comp Engn & Sci, Shanghai, Peoples R China.; [Zhu, Huibiao] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Sha 更多

来源:SCIENCE OF COMPUTER PROGRAMMING,2014,94,P2,164-202

收录类别:SCOPUS;SCIE;EI

当年影响因子:1.064

WOS被引:4

Scopus被引:8

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

11. ASM, controller synthesis, and complete refinement SCOPUS SCIE EI

作者:Banach, R;Zhu, HB;Su, W;Wu, XF

通讯作者:Banach, Richard

通讯作者地址:Banach, R (reprint author), Univ Manchester, Sch Comp Sci, Oxford Rd, Manchester M13 9PL, Lancs, England.

作者机构:[Banach, Richard] Univ Manchester, Sch Comp Sci, Manchester M13 9PL, Lancs, England.; [Zhu, Huibiao; Wu, Xiaofeng] E China Normal Univ, Shanghai Key 更多

来源:SCIENCE OF COMPUTER PROGRAMMING,2014,94,P2,109-129

收录类别:SCOPUS;SCIE;EI

当年影响因子:1.064

WOS被引:1

Scopus被引:1

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

12. Compositional reasoning for weighted Markov decision processes SCIE

作者:Deng, YX; Hennessy, M

通讯作者地址:Deng, YX (reprint author), Shanghai Jiao Tong Univ, Shanghai 200030, Peoples R China.

作者机构:[Deng, Yuxin] Shanghai Jiao Tong Univ, Shanghai 200030, Peoples R China.; [Hennessy, Matthew] Trinity Coll Dublin, Dublin, Ireland.

来源:SCIENCE OF COMPUTER PROGRAMMING,2013,78,12,2537-2579

收录类别:SCIE

当年影响因子:1.064

WOS被引:4

资源类型:外文期刊论文

13. Probabilistic models for the guarded command language SCIE

作者:He, JF; Seidel, K; McIver, A

通讯作者地址:He, JF (reprint author), UNIV OXFORD,COMP LAB,PROGRAMMING RES GRP,11 KEBLE RD,OXFORD OX1 3QD,ENGLAND.

来源:SCIENCE OF COMPUTER PROGRAMMING,1997,28,2-3,171-192

收录类别:SCIE;

当年影响因子:1.064

WOS被引:52

资源类型:外文期刊论文

TOP