@inproceedings{weko_126863_1, author = "小野,綾子 and 村田,智洋", title = "階層化マトリクス型状態遷移図を用いた、組込型ソフトウェアの動的仕様記述方式の提案", booktitle = "全国大会講演論文集", year = "1994", volume = "第49回", number = "ソフトウェア工学", pages = "169--170", month = "sep" }