DMCA

Exact high level WCET analysis of synchronous programs by symbolic state space exploration

by G. Logothetis , Klaus Schneider
Venue:in DATE 2003. IEEE Computer Society
Citations:25 - 10 self