logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
赵

赵涌鑫 (Zhao, Yongxin)

east china normal university

0H-index
7Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
err2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019)
IF0
err2019-01-01
err1
PREAI
errCao, Siteng; Zhao, Yongxin; Shi, Ling
errShare
errSave

Research Directions

可信人工智能 ：因果推断大模型AI安全AI鲁棒性可解释和公平性 可信软件工程 ：智能系统网络协议等各类系统及软件的可信建模分析验证和应用研究 形式化方法 ：程序统一理论形式语义理论形式建模与分析形式验证定理证明
Co-authors
Cooperation Journals
C
Cao, Siteng
H-index: 0 · Papers: 1
S
Shi, Ling
H-index: 0 · Papers: 1
All loaded