Registered user since Fri 14 Dec 2018
Name:Shouyu Chen
Affiliation:Nanjing University
Contributions
ICSE 2019 | Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-driven Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2019-profile
View general profile
View general profile