UML modeling, verification and testing for the safety system

Yon Hwang Dae, Young Lee Na, Goo Kim Yun, Young Choi Jin

    Research output: Contribution to journalConference articlepeer-review

    Original languageEnglish
    Pages (from-to)115-116
    Number of pages2
    JournalTransactions of the American Nuclear Society
    Volume95
    Publication statusPublished - 2006
    Event2006 Winter Meeting of the American Nuclear Society - Albuquerque, NM, United States
    Duration: 2006 Nov 122006 Nov 16

    Bibliographical note

    Funding Information:
    This work was supported by the National Institutes of Health grant EY11979 (T.Y.); a Texas Higher Education Coordination Board Advanced Technology grant (T.Y.); a University of North Texas Health Science Center Intramural grant (G.P.); and American Health Assistance Foundation grant G200006P (G.P.).

    ASJC Scopus subject areas

    • Nuclear Energy and Engineering
    • Industrial and Manufacturing Engineering
    • Energy Engineering and Power Technology

    Cite this