KAIST :::: NICIEL

NICIEL

Lab Intro

  • HOME
  • /
  • NICIEL
  • /
  • Lab_Seminar2003
번호 제목 글쓴이 날짜 조회 수
73 4월-(김만철)Introduction to Information Theory and Its Application to Nuclear I&C Systems 관리자 2009.04.29 793
72 2월-(김만철)Information Flow in CNS 관리자 2009.04.29 682
71 4월14일-(김석준)FAULTS & ERROR DETECTION CODE 관리자 2009.04.24 714
70 3월24일-(김만철)Ongoing IC&HMI Researches in the U.S. 관리자 2009.04.24 771
69 4월28일-(김윤구)RADIATION MONITORING SYSTEM 관리자 2009.04.24 658
68 12월 20일 - (신대수)DAta Mining Concepts and Techniques 관리자 2006.09.22 790
67 12월 20일 - (김만철)Introduction to ATHEANA 관리자 2006.09.22 742
66 12월 13일 -(이승준) A Study on Neural Network 관리자 2006.09.22 695
65 12월 13일 - (정환성)The Future of Software Engineering 관리자 2006.09.22 627
64 12월 6일 -(김석준) Evaluation of Falut Coverage for Digitalized Systems in NPPs 관리자 2006.09.22 846
63 12월 6일 -(이종환) Ecological Interface Design for Steam Generator 관리자 2006.09.22 756
62 12월 6일 -(송명준) Development of a Verification Method for the FBD-style Design Specification using Extended-SDT & SMV 관리자 2006.09.22 713
61 12월 6일 -(Qin Wei)Development of a Testing for CPS Based on J-Unit Framework & MFM 관리자 2006.09.22 820
60 12월 1일 - (Qin Wei)Procedure Validation Methodology of CPS Based on MFM 관리자 2006.09.22 726
59 12월 1일 - (손종주)Review of Closed-Loop Digital Control of Multi-Modular Reactors 관리자 2006.09.22 669
58 11월 24일 -(송명준) Development of a Verification Method for the FBD-style Design 관리자 2006.09.22 982
57 11월 24일 -(구서룡) RPS Software Design Specification Generation Using NuSDS 관리자 2006.09.22 926
56 11월 10일 - (손세도)Quantitative Evaluation of Software Testability for Specification in Statechart & Program 관리자 2006.09.22 709
55 11월 10일 -(김종현) A Study on Information Aids & Quantification of the Information Flow for Diagnosis Tasks in Nuclear Power Plants 관리자 2006.09.22 906
54 11월 3일 - (김윤구) Modeling of RMS Software with UML 관리자 2006.09.22 886