@article{weko_6513_1, author = "奥村,幾正", title = "コンピュータを用いたフェイルセイフなシステム", journal = "情報処理", year = "1981", volume = "22", number = "9", month = "sep" }