Verification and Testing of the RTOS for Safety-Critical Embedded Systems

Na Young Lee; Jin Hyun Kim; Ah Young Sung; Byoung Ju Choi; Jin Young Choi; Jang Soo Lee

Verification and Testing of the RTOS for Safety-Critical Embedded Systems

Na Young Lee, Jin Hyun Kim, Ah Young Sung, Byoung Ju Choi, Jin Young Choi, Jang Soo Lee

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

Original language	English
Pages (from-to)	201
Number of pages	1
Journal	Transactions of the American Nuclear Society
Volume	89
Publication status	Published - 2003
Event	International Conference on Nuclear Technology: Achieving Global Economic Growth While Safeguarding the Environment - New Orleans, LO, United States Duration: 2003 Nov 16 → 2003 Nov 20

ASJC Scopus subject areas

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

Cite this

@article{cbe174209b7b4e90bab9d90cfe92ad1c,

title = "Verification and Testing of the RTOS for Safety-Critical Embedded Systems",

author = "Lee, {Na Young} and Kim, {Jin Hyun} and Sung, {Ah Young} and Choi, {Byoung Ju} and Choi, {Jin Young} and Lee, {Jang Soo}",

year = "2003",

language = "English",

volume = "89",

pages = "201",

journal = "Transactions of the American Nuclear Society",

issn = "0003-018X",

publisher = "American Nuclear Society",

note = "International Conference on Nuclear Technology: Achieving Global Economic Growth While Safeguarding the Environment ; Conference date: 16-11-2003 Through 20-11-2003",

}

TY - JOUR

T1 - Verification and Testing of the RTOS for Safety-Critical Embedded Systems

AU - Lee, Na Young

AU - Kim, Jin Hyun

AU - Sung, Ah Young

AU - Choi, Byoung Ju

AU - Choi, Jin Young

AU - Lee, Jang Soo

PY - 2003

Y1 - 2003

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

M3 - Conference article

AN - SCOPUS:0348164795

SN - 0003-018X

VL - 89

SP - 201

JO - Transactions of the American Nuclear Society

JF - Transactions of the American Nuclear Society

T2 - International Conference on Nuclear Technology: Achieving Global Economic Growth While Safeguarding the Environment

Y2 - 16 November 2003 through 20 November 2003

ER -

Verification and Testing of the RTOS for Safety-Critical Embedded Systems

ASJC Scopus subject areas

Other files and links

Cite this