KAIST :::: NICIEL

NICIEL

Lab Intro

  • HOME
  • /
  • NICIEL
  • /
  • Lab_Seminar2009
번호 제목 글쓴이 날짜 조회 수
56 12월28일-(김윤구)Modeling of Computerized Procedure Execution for Automation and Verification with State Token Colored Petri Net. 관리자 2010.01.11 678
55 12월22일-(이승민)An Investigation of the Relation between Human Communication Errors and Causes in NPP MCR 관리자 2010.01.11 772
54 12월21일-(김성호)A Review on Software Test Coverage 관리자 2010.01.11 657
53 12월07일-(이승민)An Investigation of the Relation Between Causes and Human Communication Errors in NPP MCR 관리자 2010.01.11 705
52 12월07일-(김인)A Study on Mobile PC Display Design in NPP Maintenance Considering the Level of Expertise 관리자 2010.01.11 704
51 11월30일-(Khalaquzzaman)Spurious Activation of Plant Protection System file 관리자 2010.01.11 722
50 11월23일-(이승민)Quantitative Assessment of Human Communication Influential Factors in MCR 관리자 2010.01.11 672
49 11월23일-(김인)Review on NUREG-0700 CBP Display Guidelines 관리자 2010.01.11 688
48 11월9일-(김인)Current Status for Mobile PC Display Design in NPP Maintenance Study 관리자 2009.11.13 714
47 11월9일-(이승민)Quantitative Modeling of Human Communication Process in MCR Based on Information Theory 관리자 2009.11.13 637
46 11월2일-(신승기)Analysis of Dynamic Aspects in the Interdependency of I&C Systems and Human Operators 관리자 2009.11.13 718
45 11월2일-(고광용)Four Fault Lifecycle Techniques and Software Reliability Models 관리자 2009.11.13 658
44 10월12일-(이현철)Design of Experiment for the Model Validation 관리자 2009.10.15 657
43 9월28일-(이승우)Developing Performance Shaping Factors for Use in Advanced MCR 관리자 2009.09.29 577
42 9월28일-(장인석)Case study : Using CWA to Design for Dynamic Allocation of Function 관리자 2009.09.29 745
41 9월14일-(김윤구)Modeling of Computerized Procedure Execution for Automation and Verification with State Token Colored Petri Net. 관리자 2009.09.15 621
40 9월14일-(김성호)Multi-Step Software Reliability Estimation 관리자 2009.09.15 582
39 9월9일-(zzaman)Probable Errors During Maintenance of Digital I&C System in NPP and Their Consequences file 관리자 2009.09.09 766
38 9월7일-(zzaman)Spurious Activation of Safety Instrumented Systems(SIS) file 관리자 2009.09.09 829
37 8월17일-(고광용)A Dynamic and Formal Method for Safety Analysis of Complex Safety Critical System (DFSACS2) 관리자 2009.09.09 722