Statistics
Publications
1
Citations
60
H-Index
1
Active since
2005
Affiliations
IBM (United States)(Current)
L. Gluhovsky is an author at IBM (United States) specializing in software verification, system software, and computer engineering.
Publications per year
2005–2005
1
1
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–1 of 1