DocumentCode
822865
Title
Formal verification: current use and future perspectives
Volume
19
Issue
5
fYear
2002
Firstpage
105
Lastpage
113
Keywords
Analog-digital conversion; Automotive engineering; Circuit testing; Computational modeling; Computer Society; Costs; Europe; Formal verification; Jacobian matrices; System testing;
fLanguage
English
Journal_Title
Design & Test of Computers, IEEE
Publisher
ieee
ISSN
0740-7475
Type
jour
DOI
10.1109/MDT.2002.1033798
Filename
1033798
Link To Document