UML modeling, verification and testing for the safety system

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

UML modeling, verification and testing for the safety system

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

School of Cybersecurity

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	115-116
Number of pages	2
Journal	Transactions of the American Nuclear Society
Volume	95
Publication status	Published - 2006
Event	2006 Winter Meeting of the American Nuclear Society - Albuquerque, NM, United States Duration: 2006 Nov 12 → 2006 Nov 16

ASJC Scopus subject areas

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

Cite this

@article{84693466a50240da88f3e3e63852a316,

title = "UML modeling, verification and testing for the safety system",

author = "Dae, {Yon Hwang} and Na, {Young Lee} and Yun, {Goo Kim} and Jin, {Young Choi}",

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.). ; 2006 Winter Meeting of the American Nuclear Society ; Conference date: 12-11-2006 Through 16-11-2006",

year = "2006",

language = "English",

volume = "95",

pages = "115--116",

journal = "Transactions of the American Nuclear Society",

issn = "0003-018X",

}

TY - JOUR

T1 - UML modeling, verification and testing for the safety system

AU - Dae, Yon Hwang

AU - Na, Young Lee

AU - Yun, Goo Kim

AU - Jin, Young Choi

N1 - 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.).

PY - 2006

Y1 - 2006

UR - http://www.scopus.com/inward/record.url?scp=33845544572&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:33845544572

SN - 0003-018X

VL - 95

SP - 115

EP - 116

JO - Transactions of the American Nuclear Society

JF - Transactions of the American Nuclear Society

T2 - 2006 Winter Meeting of the American Nuclear Society

Y2 - 12 November 2006 through 16 November 2006

ER -

UML modeling, verification and testing for the safety system

ASJC Scopus subject areas

Other files and links

Cite this