@inproceedings{weko_171889_1, author = "炭崎,竜平 and 辰巳,尚吾 and 井上,勝行 and 松村,和機 and 吉田,実", title = "UMLステートマシン図を用いたS/W設計検証方法の提案", booktitle = "第68回全国大会講演論文集", year = "2006", volume = "2006", number = "1", pages = "157--158", month = "mar" }