Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Junfeng Zhao
conf.researchr.org general profile
FM 2026 profile
ICSE 2024 profile
Not registered as user
Name:
Junfeng Zhao
Affiliation:
Inner Mongolia University
Contributions
2026
FM
Author of Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel within the Industry Day-track
2024
ICSE
Author of Multi-source Anomaly Detection For Microservice Systems within the Posters-track
Share
x
Fri 10 Apr 11:14