@inproceedings{weko_118882_1, author = "中田,恒夫", title = "状態遷移記述を利用したテスト容易化設計手法", booktitle = "全国大会講演論文集", year = "1990", volume = "第40回", number = "ハードウェア", pages = "1324--1325", month = "mar" }