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