
Registered user since Tue 17 Sep 2019
Name:Guoqiang Li
Affiliation:Shanghai Jiao Tong University
Contributions
* ICSE 2018 * | Poster T1: An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
* ICSE 2018 *-profile
View general profile
View general profile