Gang Yao

Gang Yao

University of Illinois
Verified email at illinois.edu
Cited by 2148
real-time system scheduling theory safety-critical embedded system
Wenrui Meng

Wenrui Meng

PhD Candidate of Computer Information Science, University of Pennsylvania
Verified email at seas.upenn.edu
Cited by 34
Formal Verification Code Generation Safety Critical Embedded System