Statistics
Publications
1
Citations
26
H-Index
1
Active since
2021
Affiliations
University of York(Current)
Kangfeng Ye is an author at University of York specializing in formal verification, formal methods, and automated reasoning.
Publications per year
2021–2021
1
1
Probabilistic modelling and verification using RoboChart and PRISM
Kangfeng Ye, Ana Cavalcanti, Simon Foster et al. · Software & Systems Modeling · 2021 · 26 citations · Full text
1–1 of 1