大会名称 |
---|
2013年 情報科学技術フォーラム(FIT) |
大会コ-ド |
F |
開催年 |
2013 |
発行日 |
2013/8/20 |
セッション番号 |
4A |
セッション名 |
アルゴリズム・コンピュテーション(4) |
講演日 |
2013/09/05 |
講演場所(会議室等) |
共通教育棟 C棟 2F C22 |
講演番号 |
A-015 |
タイトル |
ペトリネット援用ツールを用いたモデル設計とポスト検証ツール向け状態空間生成アルゴリズム |
著者名 |
太田 淳也, 和崎 克己, |
キーワード |
抄録 |
本文pdf |
PDF download (578.1KB) |