Not registered as user yet

Name: Jifeng He

Affiliation: Shanghai Key Lab of Trustworthy Computing, China

Contributions

ESEC/FSE 2020Author of FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain within the Industry Papers-track