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

Zheng Fang

University of California System

12H-index
42Paper Count
1.1KCitation Count
Published Papers 1
Publication Date
logo
A model checking-based security analysis framework for IoT systems
errHIGH-CONFIDENCE COMPUTING
IF3
err2021-06-01
err18
errOAAI
errFang, Zheng; Fu, Hao; Gu, Tianbo; Qian, Zhiyun; Jaeger, Trent; Hu, Pengfei; Mohapatra, Prasant
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
P
Prasant Mohapatra
H-index: 58 · Papers: 540
T
Trent Jaeger
H-index: 40 · Papers: 266
Z
Zhiyun Qian
H-index: 31 · Papers: 156
胡
胡鹏飞 (Pengfei Hu)
H-index: 23 · Papers: 206
H
Hao Fu
H-index: 11 · Papers: 37
View more