WEKO3
アイテム
形式的検証における非周期システムの動作記述に関する研究
http://hdl.handle.net/20.500.12000/0002019199
http://hdl.handle.net/20.500.12000/0002019199e79ae385-bef3-48eb-8009-405adcf12697
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
rikoken100.pdf
|
|
| Item type | 琉球大学リポジトリ登録用アイテムタイプ(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-06-10 | |||||||
| タイトル | ||||||||
| タイトル | Studies on Asynchronous System Specification for Formal Verification | |||||||
| 言語 | en | |||||||
| タイトル | ||||||||
| タイトル | 形式的検証における非周期システムの動作記述に関する研究 | |||||||
| 言語 | ja | |||||||
| 作成者 |
山田, 親稔
× 山田, 親稔
|
|||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||
| 資源タイプ | doctoral thesis | |||||||
| 出版タイプ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
| 学位授与番号 | ||||||||
| 学位授与番号 | 甲 理工研第100号 | |||||||
| 学位名 | ||||||||
| 言語 | ja | |||||||
| 学位名 | 博士（工学） | |||||||
| 学位授与年月日 | ||||||||
| 学位授与年月日 | 2006-09-08 | |||||||
| 学位授与機関 | ||||||||
| 言語 | ja | |||||||
| 学位授与機関名 | 琉球大学 | |||||||
