文献
J-GLOBAL ID:200902147028219566
整理番号:98A0815346
大型ソフトウェア仕様のモデル検査
Model Checking Large Software Specifications.
著者 (7件):
CHAN W
(Univ. Washington, WA)
,
ANDERSON R J
(Univ. Washington, WA)
,
BEAME P
(Univ. Washington, WA)
,
BURNS S
(Intel Corp., OR)
,
MODUGNO F
(Univ. Pittsburgh, PA)
,
NOTKIN D
(Univ. Washington, WA)
,
REESE J D
(Safeware Engineering Corp., WA)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
24
号:
7
ページ:
498-520
発行年:
1998年07月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)