Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ning Ge
conf.researchr.org general profile
ICSE 2023 profile
MODELS 2022 profile
Registered user since Sat 4 Feb 2023
Name:
Ning Ge
Country:
China
Affiliation:
School of Software, Beihang University
Contributions
2023
ICSE
Author of HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols within the DEMO - Demonstrations-track
2022
MODELS
Author of Towards the Practical Adoption of LIDL: A Toolchain for Modeling Human-Machine Interface Software Interactions within the Tools & Demonstrations-track
Share
x
Thu 21 Nov 12:33