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