Journal of the Korea Institute of Military Science and Technology

Author index

Page Path

Jin-Young Choi	1 Article
Formalism-Based Defense Safety/Security-Critical Software Development & Certification Criteria - Application of Formal Methods to Safety/Security-Critical Software Certification Process Activities - Chang-Jin Kim, Jin-Young Choi J. KIMS Technol. 2007;10(1):55-69. PDF

Editorial Office: 160 Bugyuseong-daero 488beon-gil, Yuseong-gu, Daejeon 34060, Korea
Tel: +82-42-823-4603 Fax: +82-42-823-4605 E-mail: kimst@kimst.or.kr