Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hanyue Zheng
conf.researchr.org general profile
ASE 2019 profile
ESEC/FSE 2020 profile
Registered user since Mon 9 Nov 2020
Name:
Hanyue Zheng
Affiliation:
East China Normal University
Contributions
2020
ESEC/FSE
Author of FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain within the Industry Papers-track
2019
ASE
Author of Prema: A Tool for Precise Requirements Editing, Modeling and Analysis within the Demonstrations-track
Share
x
Sun 1 Oct 03:52