|
|
|
|
| LEADER |
00961nam a2200313 4500 |
| 001 |
DLU110117537 |
| 005 |
##20101221 |
| 040 |
# |
# |
|a DLU
|b eng
|
| 041 |
# |
# |
|a eng
|
| 044 |
# |
# |
|a ko
|
| 100 |
# |
# |
|a Jung, Jae-Cheon.
|
| 245 |
# |
# |
|a "3+3 process" for safety critical software for I&C system in nuclear power plants /
|c Jae-Cheon Jung, Hoon-Sun Chang, Hang-Bae Kim.
|
| 653 |
# |
# |
|a Model driven architecture
|
| 653 |
# |
# |
|a Safety analysis
|
| 653 |
# |
# |
|a Safety critical software
|
| 653 |
# |
# |
|a Validation
|
| 653 |
# |
# |
|a Verification
|
| 700 |
# |
# |
|a Chang, Hoon-Sun.
|
| 700 |
# |
# |
|a Kim, Hang-Bae.
|
| 773 |
# |
# |
|t Nuclear engineering and technology
|g Vol. 41, no. 1 (2009), p. 91-98
|
| 920 |
# |
# |
|a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Trương Bảo Trâm Anh
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a BB
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
