Title :
Exact high level WCET analysis of synchronous programs by symbolic state space exploration
Author :
Logothetis, G. ; Schneider, Klaus
Keywords :
Computer architecture; Computer science; Embedded computing; Embedded system; Fault tolerance; Microcontrollers; Microprocessors; Real time systems; Space exploration; State-space methods;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2003
Print_ISBN :
0-7695-1870-2
DOI :
10.1109/DATE.2003.1253608
