Login / Signup
Gil Shapir
Publication Activity (10 Years)
Years Active: 2001-2005
Publications (10 Years): 0
</>
Publications
</>
Anat Dahan
,
Daniel Geist
,
Leonid Gluhovsky
,
Dmitry Pidan
,
Gil Shapir
,
Yaron Wolfsthal
,
Lyes Benalycherif
,
Romain Kamdem
,
Younes Lahbib
Combining System Level Modeling with Assertion Based Verification.
ISQED
(2005)
Fred Mintzer
,
Gordon W. Braudaway
,
Francis P. Giordano
,
Jack C. Lee
,
Karen A. Magerlein
,
Silvana D'Auria
,
Amnon Ribak
,
Gil Shapir
,
Fabio Schiattarella
,
John Tolva
,
Andrey Zelenkov
Populating the Hermitage Museum's new web site.
Commun. ACM
44 (8) (2001)