Statistics
Publications
2
Citations
71
H-Index
2
Active since
2005
Affiliations
IBM Research - Haifa(Current)
Dmitry Pidan is an author at IBM Research - Haifa specializing in computer science, computer engineering, and formal methods.
Publications per year
2005–2018
2
2
Combining System Level Modeling with Assertion Based Verification
A. Dahan, Daniel Geist, L. Gluhovsky et al. · 2005 · 60 citations
Engineering, Hardware Verification Language, Verification +24
1–2 of 2