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 :
بازگشت