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 542
55 12월22일-(이승민)An Investigation of the Relation between Human Communication Errors and Causes in NPP MCR 관리자 2010.01.11 558
54 12월21일-(김성호)A Review on Software Test Coverage 관리자 2010.01.11 491
53 12월07일-(이승민)An Investigation of the Relation Between Causes and Human Communication Errors in NPP MCR 관리자 2010.01.11 576
52 12월07일-(김인)A Study on Mobile PC Display Design in NPP Maintenance Considering the Level of Expertise 관리자 2010.01.11 579
51 11월30일-(Khalaquzzaman)Spurious Activation of Plant Protection System file 관리자 2010.01.11 513
50 11월23일-(이승민)Quantitative Assessment of Human Communication Influential Factors in MCR 관리자 2010.01.11 511
49 11월23일-(김인)Review on NUREG-0700 CBP Display Guidelines 관리자 2010.01.11 601
48 11월9일-(김인)Current Status for Mobile PC Display Design in NPP Maintenance Study 관리자 2009.11.13 593
47 11월9일-(이승민)Quantitative Modeling of Human Communication Process in MCR Based on Information Theory 관리자 2009.11.13 457
46 11월2일-(신승기)Analysis of Dynamic Aspects in the Interdependency of I&C Systems and Human Operators 관리자 2009.11.13 496
45 11월2일-(고광용)Four Fault Lifecycle Techniques and Software Reliability Models 관리자 2009.11.13 478
44 10월12일-(이현철)Design of Experiment for the Model Validation 관리자 2009.10.15 535
43 9월28일-(이승우)Developing Performance Shaping Factors for Use in Advanced MCR 관리자 2009.09.29 473
42 9월28일-(장인석)Case study : Using CWA to Design for Dynamic Allocation of Function 관리자 2009.09.29 494
41 9월14일-(김윤구)Modeling of Computerized Procedure Execution for Automation and Verification with State Token Colored Petri Net. 관리자 2009.09.15 482
40 9월14일-(김성호)Multi-Step Software Reliability Estimation 관리자 2009.09.15 419
39 9월9일-(zzaman)Probable Errors During Maintenance of Digital I&C System in NPP and Their Consequences file 관리자 2009.09.09 545
38 9월7일-(zzaman)Spurious Activation of Safety Instrumented Systems(SIS) file 관리자 2009.09.09 597
37 8월17일-(고광용)A Dynamic and Formal Method for Safety Analysis of Complex Safety Critical System (DFSACS2) 관리자 2009.09.09 576