文献

J-GLOBAL ID：201502222620586112   整理番号：15A0242525

システム理論的プロセス分析に基づくソフトウェア安全性検証方法

A Software Safety Verification Method Based on System-Theoretic Process Analysis

著者 (2件)： ABDULKHALEQ Asim (Univ. Stuttgart, Stuttgart, DEU) ,  WAGNER Stefan (Univ. Stuttgart, Stuttgart, DEU)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 8696  ページ： 401-412  発行年： 2014年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： システム理論 ,  プロセス ,  分析 ,  ソフトウェア ,  安全性 ,  検証