Search results for: Junbeom Yoo
Information and Software Technology > 2017 > 92 > C > 121-144
Annals of Nuclear Energy > 2017 > 103 > C > 454-469
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 9: Formal Verification 3 > 397-408
Annals of Nuclear Energy > 2016 > 94 > C > 338-349
Lecture Notes in Computer Science > Software Technologies for Embedded and Ubiquitous Systems > 240-251
Lecture Notes in Computer Science > Software Engineering Research and Applications > Formal Methods and Tools > 19-28
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Software Development > 155-165
Nuclear Engineering and Technology > 2016 > 48 > 2 > 470-481
Communications in Computer and Information Science > Control and Automation, and Energy System Engineering > 112-121
Communications in Computer and Information Science > Software Engineering, Business Continuity, and Education > 285-291
2014 21st Asia-Pacific Software Engineering Conference > 1 > 135 - 142
Reliability Engineering and System Safety > 2013 > 120 > Complete > 139-149
Nuclear Engineering and Technology > 2013 > 45 > 4 > 489-504
Nuclear Engineering and Technology > 2013 > 45 > 4 > 477-488