DocumentCode
400433
Title
Exact high level WCET analysis of synchronous programs by symbolic state space exploration
Author
Logothetis, G. ; Schneider, Klaus
fYear
2003
fDate
2003
Firstpage
196
Lastpage
203
Keywords
Computer architecture; Computer science; Embedded computing; Embedded system; Fault tolerance; Microcontrollers; Microprocessors; Real time systems; Space exploration; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation and Test in Europe Conference and Exhibition, 2003
ISSN
1530-1591
Print_ISBN
0-7695-1870-2
Type
conf
DOI
10.1109/DATE.2003.1253608
Filename
1253608
Link To Document