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