DSpace at KOASAS: An Integrated Environment of S/W Specification and V&V for Safety-Critical Systems

DSpace at KOASAS

College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Conference Papers(학술회의논문)

An Integrated Environment of S/W Specification and V&V for Safety-Critical Systems

Cited 0 time in webofscience

Cited 0 time in scopus

Hit : 382
Download : 0

Export

Koo, S.R. / Seong, Poong-Hyun researcher / Yoo, J.B. / Cha, Sungdeok / Youn, C. / Han, H.C.

Issue Date: 2004-02

Language: ENG

Citation: IASTED International Conference on Software Engineering, pp.607 - 612

URI: http://hdl.handle.net/10203/142823

Appears in Collection: NE-Conference Papers(학술회의논문)

Files in This Item: There are no files associated with this item.

Display Full Item Record

qr_code

트윗하기

KOASAS

Knowledge Service Development Team, KAIST 291 Daehak-ro, Yuseong-gu, Daejeon 34141, Republic of Korea. T. 82-42-350-4493 Email. koasas@kaist.ac.kr
Copyright © 2016. Korea Advanced Institute of Science and Technology. All Rights Reserved.

KOASAS

KOASAS

Browse

An Integrated Environment of S/W Specification and V&V for Safety-Critical Systems

KOASAS

Communities & Collections