@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00150594,
 author = {關屋, 貴詞 and 和崎, 克己 and Sekiya, Takashi and Wasaki, Katsumi},
 book = {情報科学技術フォーラム講演論文集},
 issue = {1},
 month = {Sep},
 pages = {253--256},
 publisher = {情報処理学会},
 title = {B-006 ロボット制御システム設計のUMLアクティビティ図に対するペトリネットによる正当性検証(テスト・検証,B分野:ソフトウェア)},
 volume = {10},
 year = {2011}
}