WEKO3
アイテム
離散型生産システムのモデル化と検証におけるUPPAAL の適応範囲について
http://hdl.handle.net/10458/4533
http://hdl.handle.net/10458/4533e4b4c9ab-824f-419c-acd4-cd1b1f0fcc7f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
2012_05_takatsuka.pdf (642.0 kB)
|
|
| Item type | 報告書 / Research Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2013-06-13 | |||||
| タイトル | ||||||
| タイトル | 離散型生産システムのモデル化と検証におけるUPPAAL の適応範囲について | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 言語 | ja | |||||
| 主題Scheme | Other | |||||
| 主題 | 離散型生産システム, モデル検査, UPPAAL, 通信様式 | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18ws | |||||
| 資源タイプ | research report | |||||
| 研究代表者 |
高塚, 佳代子
× 高塚, 佳代子 |
|||||
| 他の資源との関係 | ||||||
| 言語 | en | |||||
| 関連名称 | http://www.teng.miyazaki-u.ac.jp/action/action2012/tech_houkoku/pdf_data/2012_05_takatsuka.pdf | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
