Search Word(s) in Title, Keywords, Authors, and Abstract: Eunyoung Lee

Verifying Code toward Trustworthy Software
Hyong-Soon Kim and Eunyoung Lee
Page: 309~321, Vol. 14, No.2, 2018
10.3745/JIPS.01.0027

Keywords: Certified Compiler, Formal Verification, Language Semantics, Program Verification
Show / Hide Abstract

Plans and Strategies for UBcN Networks and Services
Eunyoung Lee
Page: 323~334, Vol. 6, No.3, 2010
10.3745/JIPS.2010.6.3.323
Keywords: UBcN, Broadband, NGN, Converged Services, Policies
Show / Hide Abstract