@misc{oai:repo.lib.tut.ac.jp:00000608, author = {胡, 小華}, title = {段階的詳細化による離散事象システムの開発・設計に関する研究} }