مرکز منطقه ای اطلاع رساني علوم و فناوري - Session 3.2: Emerging technologies & formal verification

DocumentCode :

2664098

Title :

Session 3.2: Emerging technologies & formal verification

fYear :

2010

fDate :

14-15 Dec. 2010

Firstpage :

141

Lastpage :

142

Abstract :

Start of the above-titled section of the conference proceedings record.

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Design and Test Workshop (IDT), 2010 5th International

Conference_Location :

Abu Dhabi

Print_ISBN :

978-1-61284-291-2

Electronic_ISBN :

978-1-61284-290-5

Type :

conf

DOI :

10.1109/IDT.2010.5724426

Filename :

5724426

Link To Document :