SPARK および STAMP/STPA を用いたIC カードとゲートのシステムの安全性モデルとその分析－システム理論に基づく事故モデルの形式検証－

• シンポジウム論文

前に戻る

発行物	シンポジウム論文
回	第55回
発行年月	2018年11月
区分	Ⅱ 旅客輸送
課題	2. 出改札システム
論文番号	212
タイトル	SPARK および STAMP/STPA を用いたIC カードとゲートのシステムの安全性モデルとその分析－システム理論に基づく事故モデルの形式検証－
著者	栗田 太郎（ソニーイメージングプロダクツ＆ソリューションズ㈱）
キーワード	""
PDF	PDF