@techreport{weko_113784_1, author = "等々力,拓也 and 渡辺,晴美 and 小倉,信彦", title = "状態遷移モデル記述言語stmcを用いた組込みソフトウェアのためのモデルレベルデバッグツールの開発", year = "2015", institution = "東京都市大学大学院環境情報学研究科, 東海大学大学院情報通信学研究科, 東京都市大学大学院環境情報学研究科", number = "30", month = "feb" }