基本情報
名前: 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
完全な名前インパクト ・ ファクター出版社
Formal Methods in System Design0.442Springer
Future Generation Computer Systems7.307Elsevier
The Journal of Systems Architecture: Embedded Software Design5.836Elsevier
关注の研究員
名前機関登記時間スコア
結果が得られませんでした。
名前機関スコア
結果が得られませんでした。
フォロー中の仕事
役職雇用主勤務地
結果が得られませんでした。
役職雇用主勤務地
結果が得られませんでした。
表示された会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
結果が得られませんでした。
省略名完全な名前提出日会議日
結果が得られませんでした。
閲覧したジャーナル
CCF完全な名前インパクト ・ ファクター出版社ISSN
結果が得られませんでした。
完全な名前インパクト ・ ファクター出版社
結果が得られませんでした。