KAIST :::: NICIEL

NICIEL

Lab Intro

  • HOME
  • /
  • NICIEL
  • /
  • Lab_Seminar2004
번호 제목 글쓴이 날짜 조회 수
43 8월16일-(구서룡)Introduction to Model Checking using SMV (Symbolic Model Verifier) 관리자 2009.04.29 539
42 11월8일-(구서룡)A Software Architecture Analysis Technique (SAAT) based on WRIGHT and SMV in the NuFDS Approach 관리자 2009.04.29 695
41 7월26일-(김만철)A Comparison between Reliability Block Diagram and Fault Tree Analysis with Example Systems 관리자 2009.04.24 675
40 10월1일-(하창훈)Investigation of Relation between Operator’s Mental Workload and Information Flow in Accident Diagnosis Tasks of NPPs 관리자 2009.04.24 560
39 9월6일-(하창훈)Effects of Automation System Applied to Information Processing Stages by Measuring Operator’s Workload in Advanced MCR 관리자 2009.04.24 668
38 8월9일-(하준수)Options for Risk-Informed Revisions to 10 CFR Part 50 and A Validation Process in Option-2 관리자 2009.04.24 658
37 5월-(하준수)A Validation Process for RISSC in Option-2 관리자 2009.04.24 518
36 10월25일-(하준수)Statistical Analysis in HUPESS 관리자 2009.04.24 625
35 11월15일- (이준석)Effects of Workload on Error Detection Coverage Estimation 관리자 2009.04.24 560
34 8월30일- (이준석)Introduction to Failure modes of digital I&C systems 관리자 2009.04.24 484
33 7월5일- (이준석)Statistical Fault Injection Methods 관리자 2009.04.24 512
32 6월 28일 - (하창훈) Mental Workload and Eye Movements file 관리자 2006.09.22 570
31 6월 28일 - (구서룡) NuSEE: Application to Bistable Processor of KNICS Reactor Protection System 관리자 2006.09.22 807
30 6월 7일 - (김윤구) UML Based software Development Process of ERMS with Radiation Spectrum (MCA) 관리자 2006.09.22 657
29 6월 7일 - (하준수) Measures for Human Performance Evaluation file 관리자 2006.09.22 516
28 5월 24일 - (정환성) Cognitive Work Analysis for HANARO EID 관리자 2006.09.22 602
27 5월 24일 - (김만철) Development of a Quantitative Safety Assessment Method for Nuclear I&C Systems Including Human Operators 관리자 2006.09.22 727
26 5월 10일 - (이준석)Error Detection Methods & Experiment 관리자 2006.09.22 537
25 5월 10일 - (손종주) System Model Identification 관리자 2006.09.22 533
24 5월 3일 - (하창훈) Situation Awareness VS Mental Workload file 관리자 2006.09.22 692