A verification framework for FBD based software in nuclear power plants

Junbeom Yoo, Sungdeok Cha, Eunkyoung Jee

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    22 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'A verification framework for FBD based software in nuclear power plants'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science