Dong-Kuk Ryu is an author at IC Design Education Center specializing in formal verification, system software, and technology.
Top concepts
DesignBusinessTechnologyEngineeringSemantic WebFormal MethodsSoftware DesignSystem SoftwareTest AutomationProgram Analysis
Publications per year
2008–2008
1
1
Rows per page
1–1 of 1