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