مرکز منطقه ای اطلاع رساني علوم و فناوري - Formal verification: current use and future perspectives

DocumentCode :

822865

Title :

Formal verification: current use and future perspectives

Volume :

Issue :

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 :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=822865