@inproceedings{weko_193864_1, author = "岡野,浩三 and 楊,盼 and 辛島,凛 and 小形,真平", title = "STAMP/STPAにおける振舞いモデル記述の効用につい て", booktitle = "ウィンターワークショップ2019・イン・福島飯坂 論文集", year = "2019", volume = "2019", number = "", pages = "9--10", month = "jan" }