Biblio
Found 29 results
Filters: Author is Fan, Chuchu [Clear All Filters]
.
2015. Progress on Powertrain Verification Challenge with C2E2. International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH). :207–212.
.
2015. Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Design {&} Test. 32:27–34.
.
2014. Invariant verification of nonlinear hybrid automata networks of cardiac cells. Computer Aided Verification - 26th International Conference, (CAV). 8559 LNCS:373–390.
.
2013. Image super-resolution via analysis sparse prior. IEEE Signal Processing Letters. 20:399–402.