題名 | 補完に基づく時間ペトリネットの非有界モデル検査 |
著者 | *井川 直, 横川 智教, 佐藤 洋一郎, 有本 和民 (岡山県立大) |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | 検証コスト削減を目的とした状態マシン図の抽象化 |
著者 | *笠原 大和, 横川 智教, 佐藤 洋一郎, 有本 和民 (岡山県立大) |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | 空間分割法を適用したサラウンド音楽電子透かしに関する研究 |
著者 | *番匠 真, 荻原 昭夫 (近畿大), 村田 晴美 (中京大) |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | モンゴル語‐日本語翻訳支援ツールに関する検討 |
著者 | *河本 美月, 大平 栄二, 上谷 恵里奈 (津山高専) |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |
題名 | 自由記述意見に対する応答を有したWebアンケートシステム |
著者 | *壷阪 琢人, 杉山 裕二 (岡山大) |
→詳細データ (アブストラクト,キーワード,詳細な著者の所属など) |