DMCA

G (2010) Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software

by Mingsong Lv , Nan Guan , Wang Yi , Ge Yu
Venue:In: 31st IEEE Real-Time Systems Symposium (RTSS
Citations:27 - 4 self