@inproceedings{weko_78169_1, author = "高田広章", title = "安全システム技術と設計・検証事例~トヨタ急加速問題のNASA分析を例として~", booktitle = "組込みシステムシンポジウム2011論文集", year = "2011", volume = "2011", number = "", pages = "3-1--3-1", month = "oct" }