WEKO3
アイテム
Verification of Deadlock Free Property of Asynchronous Robot Control Programs
http://hdl.handle.net/10965/00002515
http://hdl.handle.net/10965/000025153def104e-f8e7-47b0-8c52-dceb8b59df73
| Item type | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2018-01-26 | |||||
| タイトル | ||||||
| タイトル | Verification of Deadlock Free Property of Asynchronous Robot Control Programs | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | asynchronous robot control programs | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Task Control Architecture | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| アクセス権 | ||||||
| アクセス権 | metadata only access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
| 雑誌書誌ID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA11815191 | |||||
| ページ属性 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | P | |||||
| 論文名よみ | ||||||
| その他のタイトル | Verification of Deadlock Free Property of Asynchronous Robot Control Programs | |||||
| 著者 |
平石, 裕実
× 平石, 裕実 |
|||||
| 著者所属(日) | ||||||
| 値 | 京都産業大学先端技術研究所 | |||||
| 記事種別(日) | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 研究論文 | |||||
| 書誌情報 |
京都産業大学先端科学技術研究所所報 en : The bulletin of the Research Institute of Advanced Technology Kyoto Sangyo University 巻 1, p. 17-28, 発行日 2002-03 |
|||||
| 表示順 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 4 | |||||
| アクセション番号 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | KJ00000692150 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 1347-3980 | |||||
