DocumentCode :
3041979
Title :
[Copyright notice]
fYear :
2012
fDate :
9-10 Nov. 2012
Firstpage :
1
Lastpage :
1
Abstract :
The following topics are dealt with: formal methods; system-level modeling; software validation; software testing; software assertions; embedded system; and software verification.
Keywords :
embedded systems; program testing; software engineering; embedded system; formal methods; software assertions; software testing; software validation; software verification; system-level modeling;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High Level Design Validation and Test Workshop (HLDVT), 2012 IEEE International
Conference_Location :
Huntington Beach, CA
ISSN :
1552-6674
Print_ISBN :
978-1-4673-2897-5
Type :
conf
DOI :
10.1109/HLDVT.2012.6418235
Filename :
6418235
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3041979
بازگشت