Gang Yao

Gang Yao

University of Illinois
確認したメール アドレス: illinois.edu
被引用数: 2154
real-time system scheduling theory safety-critical embedded system
Wenrui Meng

Wenrui Meng

PhD Candidate of Computer Information Science, University of Pennsylvania
確認したメール アドレス: seas.upenn.edu
被引用数: 34
Formal Verification Code Generation Safety Critical Embedded System