Art
J-GLOBAL ID:201502222620586112   Reference number:15A0242525

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

システム理論的プロセス分析に基づくソフトウェア安全性検証方法
Author (2):
Material:
Volume: 8696  Page: 401-412  Publication year: 2014 
JST Material Number: H0078D  ISSN: 0302-9743  Document type: Proceedings
Country of issue: Germany, Federal Republic of (DEU)  Language: ENGLISH (EN)

Return to Previous Page