KAIST :::: NICIEL

NICIEL

Lab Intro

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