Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Huang Li
conf.researchr.org general profile
ETAPS 2019 profile
SPLASH 2017 profile
Registered user since Sun 8 Jan 2017
Name:
Huang Li
Contributions
2019
FASE
Author of Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System within the FASE 2019-track
2017
SLE
Author of Type-Safe Modular Parsing within the SLE-track
Share
x
Sun 22 Dec 06:03