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