トウケイテキ モデル ケンサホウ オ モチイタ STAMP / STPA ニ オケル シナリオ ノ リスク ブンセキ
辻光顕
生駒 : 奈良先端科学技術大学院大学, 2020.3
学位論文2020
Risk Analysis of Scenarios based on STAMP/STPA by Using Statistical Model Checking
奈良先端科学技術大学院大学先端科学技術研究科修士論文 ; 43891
学位記番号: 修第8058号
学位授与年月日: 2020/03/31
学位の種類: 修士(工学)
日本語 (jpn)
日本語 (jpn)
辻, 光顕 (ツジ, ミツアキ)
