Search results for: Jang-Soo Lee
Korean Journal of Chemical Engineering > 2018 > 35 > 3 > 654-661
Journal of Material Cycles and Waste Management > 2018 > 20 > 2 > 823-831
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 9: Formal Verification 3 > 397-408
Angewandte Chemie > 128 > 30 > 8741 - 8746
Angewandte Chemie International Edition > 55 > 30 > 8599 - 8604
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Nuclear Safety and Application of Standards > 85-98
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Poster Session 2 > 258-263
Lecture Notes in Computer Science > Parallel and Distributed Processing and Applications > Session 9A: Hardware Architectures and Implementations > 952-964
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Software Development > 155-165
Korean Journal of Chemical Engineering > 2016 > 33 > 4 > 1267-1277
Journal of Material Cycles and Waste Management > 2016 > 18 > 3 > 552-562
Journal of Material Cycles and Waste Management > 2016 > 18 > 3 > 509-516
Fusion Engineering and Design > 2015 > 98-99 > C > 1127-1130
Advanced Materials > 27 > 8 > 1396 - 1401
Advanced Materials > 27 > 8 > 1395 - 1395
2014 21st Asia-Pacific Software Engineering Conference > 1 > 135 - 142
Software Testing, Verification and Reliability > 24 > 8 > 608 - 628
Environmental Progress & Sustainable Energy > 33 > 3 > 706 - 710