Treffer 1 - 8 von 8 für Suche 'Poonghyun Seong', Suchdauer: 0,62s Treffer weiter einschränken
  1. 1
    Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy

    Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy von Sohn, SeDo, Seong, PoongHyun


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram

    FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram von Eunkyoung Jee, Seungjae Jeon, Sungdeok Cha, Kwangyong Koh, Junbeom Yoo, Geeyong Park, Poonghyun Seong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    An empirical study on the relationships between functional performance measure and task performance measure in NPP MCR

    An empirical study on the relationships between functional performance measure and task performance measure in NPP MCR von Jang, Inseok, Park, Jinkyun, Seong, Poonghyun

    Veröffentlicht in Annals of nuclear energy

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Development of an evaluation method for the quality of NPP MCR operators’ communication using Work Domain Analysis (WDA)

    Development of an evaluation method for the quality of NPP MCR operators’ communication using Work Domain Analysis (WDA) von Jang, Inseok, Park, Jinkyun, Seong, Poonghyun

    Veröffentlicht in Annals of nuclear energy

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Development of an evaluation method for the quality of NPP MCR operatorsa communication using Work Domain Analysis (WDA)

    Development of an evaluation method for the quality of NPP MCR operatorsa communication using Work Domain Analysis (WDA) von Jang, Inseok, Park, Jinkyun, Seong, Poonghyun

    Veröffentlicht in Annals of nuclear energy

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A model for computerized procedures based on flowcharts and success logic trees

    A model for computerized procedures based on flowcharts and success logic trees von Jung, Yeonsub, Seong, PoongHyun, Kim, ManCheol


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram

    FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram von Eunkyoung Jee, Seungjae Jeon, Sungdeok Cha, Kwangyong Koh, Junbeom Yoo, Geeyong Park, Poonghyun Seong


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A software safety evaluation method based on fuzzy colored Petri nets

    A software safety evaluation method based on fuzzy colored Petri nets von Hanseong Son, Poonghyun Seong


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: