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 855
72 2월-(김만철)Information Flow in CNS 관리자 2009.04.29 759
71 4월14일-(김석준)FAULTS & ERROR DETECTION CODE 관리자 2009.04.24 777
70 3월24일-(김만철)Ongoing IC&HMI Researches in the U.S. 관리자 2009.04.24 838
69 4월28일-(김윤구)RADIATION MONITORING SYSTEM 관리자 2009.04.24 734
68 12월 20일 - (신대수)DAta Mining Concepts and Techniques 관리자 2006.09.22 854
67 12월 20일 - (김만철)Introduction to ATHEANA 관리자 2006.09.22 811
66 12월 13일 -(이승준) A Study on Neural Network 관리자 2006.09.22 751
65 12월 13일 - (정환성)The Future of Software Engineering 관리자 2006.09.22 700
64 12월 6일 -(김석준) Evaluation of Falut Coverage for Digitalized Systems in NPPs 관리자 2006.09.22 914
63 12월 6일 -(이종환) Ecological Interface Design for Steam Generator 관리자 2006.09.22 815
62 12월 6일 -(송명준) Development of a Verification Method for the FBD-style Design Specification using Extended-SDT & SMV 관리자 2006.09.22 781
61 12월 6일 -(Qin Wei)Development of a Testing for CPS Based on J-Unit Framework & MFM 관리자 2006.09.22 892
60 12월 1일 - (Qin Wei)Procedure Validation Methodology of CPS Based on MFM 관리자 2006.09.22 796
59 12월 1일 - (손종주)Review of Closed-Loop Digital Control of Multi-Modular Reactors 관리자 2006.09.22 735
58 11월 24일 -(송명준) Development of a Verification Method for the FBD-style Design 관리자 2006.09.22 1046
57 11월 24일 -(구서룡) RPS Software Design Specification Generation Using NuSDS 관리자 2006.09.22 1016
56 11월 10일 - (손세도)Quantitative Evaluation of Software Testability for Specification in Statechart & Program 관리자 2006.09.22 775
55 11월 10일 -(김종현) A Study on Information Aids & Quantification of the Information Flow for Diagnosis Tasks in Nuclear Power Plants 관리자 2006.09.22 976
54 11월 3일 - (김윤구) Modeling of RMS Software with UML 관리자 2006.09.22 956