基本信息
姓名: Chenyang Zhu
科研机构: University of Southampton
注册时间: 2018-03-13
活跃度: 93
关注的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
bb1FMInternational Symposium on Formal Methods2022-09-042022-11-152023-03-06
cb1FMCADFormal Methods in Computer-Aided Design2022-05-082022-07-012022-10-17
b1FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2022-05-042022-06-172022-09-12
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-04-102022-07-08
bb1iFMInternational Conference on integrated Formal Methods2022-02-112022-03-182022-06-07
cb2ABZASM, Alloy, B and Z2021-02-152021-03-292021-06-07
简称全称截稿日期会议日期
FMInternational Symposium on Formal Methods2022-09-042023-03-06
FMCADFormal Methods in Computer-Aided Design2022-05-082022-10-17
FORMATSInternational Conference on Formal Modeling and Analysis of Timed Systems2022-05-042022-09-12
TASEInternational Symposium on Theoretical Aspects of Software Engineering2022-02-272022-07-08
iFMInternational Conference on integrated Formal Methods2022-02-112022-06-07
ABZASM, Alloy, B and Z2021-02-152021-06-07
参加的会议
CCFCOREQUALIS简称全称会议日期会议地点
ccb3TASEInternational Symposium on Theoretical Aspects of Software Engineering2018-08-29Guangzhou, China
cb2ABZASM, Alloy, B and Z2018-06-05Southampton, UK
全称会议日期会议地点
International Symposium on Theoretical Aspects of Software Engineering2018-08-29Guangzhou, China
ASM, Alloy, B and Z2018-06-05Southampton, UK
关注的期刊
CCF全称影响因子出版商ISSN
bFormal Methods in System Design0.442Springer0925-9856
cFuture Generation Computer Systems7.307Elsevier0167-739X
bThe Journal of Systems Architecture: Embedded Software Design5.836Elsevier1383-7621
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据.
姓名科研机构活跃度
没有找到数据.
关注的职位
职位名称雇主职位地点
没有找到数据.
职位名称雇主职位地点
没有找到数据.
浏览的会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
没有找到数据.
简称全称截稿日期会议日期
没有找到数据.
浏览的期刊
CCF全称影响因子出版商ISSN
没有找到数据.
全称影响因子出版商
没有找到数据.