Statistics
Publications
1
Citations
125
H-Index
1
Active since
2006
J.S. Kim is an author specializing in formal verification, parallel computing, and verification.
Publications per year
2006–2006
1
1
SEAT-LA: a soft error analysis tool for combinational logic
R. Rajaraman, J.S. Kim, N. Vijaykrishnan et al. · 2006 · 125 citations
1–1 of 1