Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020

Not registered as user yet

Name: Zhihao Lu

Country: China

Affiliation: Capital Normal University, Beijing, China

Contributions

ISSTA 2020Author of Formal Verification of Discrete Event Modeling within the TAV-CPS/IoT-track
Show activities from other conferences

ISSTA 2020-profile
View general profile