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

Not registered as user yet

Name: Rui Wang

Country: China

Affiliation: Capital Normal University, Beijing, China

Contributions

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

ISSTA 2020-profile
View general profile