DocumentCode
1178387
Title
Taking on the embedded system design challenge
Author
Henkel, Jörg ; Hu, Xiaobo Sharon ; Bhattacharyya, Shuvra S.
Author_Institution
NEC Laboratories America
Volume
36
Issue
4
fYear
2003
fDate
4/1/2003 12:00:00 AM
Firstpage
35
Lastpage
37
Keywords
Application software; Communication system security; Computational modeling; Embedded software; Embedded system; Formal verification; Hardware; Software performance; Software systems; Software tools;
fLanguage
English
Journal_Title
Computer
Publisher
ieee
ISSN
0018-9162
Type
jour
DOI
10.1109/MC.2003.1193226
Filename
1193226
Link To Document