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

Department of Computer Science & Engineering

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
State	Published - 2003
Event	International Conference on Nuclear Technology: Achieving Global Economic Growth While Safeguarding the Environment - New Orleans, LO, United States Duration: 16 Nov 2003 → 20 Nov 2003

Cite this

@article{5f6c533ced944afcb65c9e12a3f1709a,

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 - https://www.scopus.com/pages/publications/0348164795

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 -