文献

J-GLOBAL ID：201002132750236525   整理番号：10A1302097

フォールトツリー解析を使用した正式仕様の検証

Verifying formal specifications using fault tree analysis

著者 (1件)： LIU Sy
資料名： INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS
ページ： 272-281  発行年： 2000年 
JST資料番号： I20000487  ISBN： 0-7695-0907-X  資料種別： 逐次刊行物 (A)
発行国： その他 (ZZZ)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： フォールトツリー解析 ,  仕様 ,  検証