@inproceedings{weko_102849_1, author = "畑,彰拓 and 日下部,茂 and 林,信宏 and 大森,洋一 and 荒木,啓二郎", title = "モデル指向形式仕様記述におけるハザード解析法STAMP/STPAの活用", booktitle = "ソフトウェアエンジニアリングシンポジウム2014論文集", year = "2014", volume = "2014", number = "", pages = "33--38", month = "aug" }