مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3619182

Title :

Panel on design for verification

Author :

T. Bultan;C. Heitmeyer;J. O´Leary

fYear :

2005

fDate :

6/27/1905 12:00:00 AM

Firstpage :

232

Lastpage :

235

Keywords :

"Hardware","Scalability","Software systems","Computer science","Laboratories","Application software","Data mining","Reverse engineering","Information analysis","Logic"

Publisher :

ieee

Conference_Titel :

Formal Methods and Models for Co-Design, 2005. MEMOCODE ´05. Proceedings. Third ACM and IEEE International Conference on

Print_ISBN :

0-7803-9227-2

Type :

conf

DOI :

10.1109/MEMCOD.2005.1487920

Filename :

1487920

Link To Document :

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