AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Eunkyoung Jee

Eunkyoung Jee

Korea Advanced Institute of Science & Technology KAIST - Daejeon / South Korea
Engineering & Technology / Computer Science
AD Scientific Index ID: 349420
한국 고급 과학 기술 연구소 KAIST
person_outline Eunkyoung Jee's MOST POPULAR ARTICLES
1-) Challenges and Research Directions in Medical Cyber–Physical Systems Proceedings of the IEEE 100 (1), 75-90, 2012
2-) Formal modeling and verification of safety-critical software IEEE software 26 (3), 42-49, 2009
3-) Assurance cases in model-driven development of the pacemaker software International Symposium On Leveraging Applications of Formal Methods …, 2010
4-) A data flow-based structural testing technique for FBD programs Information and Software Technology 51 (7), 1131-1139, 2009
5-) A verification framework for fbd based software in nuclear power plants Software Engineering Conference, 2008. APSEC'08. 15th Asia-Pacific, 385-392, 2008