文献
J-GLOBAL ID:200902131045798355
整理番号:02A0378739
PVSを用いたSCRスタイルソフトウェア要求仕様の機能的性質に関する形式的検証
Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS.
著者 (3件):
KIM T
(Korea Advanced Inst. Sci. and Technol.(KAIST), Taejon, KOR)
,
STRINGER-CALVERT D
(SRI International, CA, USA)
,
CHA S
(Korea Advanced Inst. Sci. and Technol.(KAIST), Taejon, KOR)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
2280
ページ:
205-220
発行年:
2002年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)