大会名称 |
---|
2011年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2011 |
発行日 |
2011/8/22 |
セッション番号 |
1B |
セッション名 |
テスト・検証 |
講演日 |
2011/09/07 |
講演場所(会議室等) |
函館大学 2F 205 |
講演番号 |
B-006 |
タイトル |
ロボット制御システム設計のUMLアクティビティ図に対するペトリネットによる正当性検証 |
著者名 |
關屋 貴詞, 和崎 克己, |
キーワード |
抄録 |
本文pdf |
PDF download (829.1KB) |