WEKO3
インデックスリンク
アイテム
モデル検査手法を用いた組込みアセンブリプログラムのリアルタイム性の形式的検証
http://hdl.handle.net/2297/00062871
http://hdl.handle.net/2297/000628719bd2234c-55e4-4597-93e4-212fa1948bbe
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
Abstract-N-1824042003-WU-YAJUN.pdf (2.7 MB)
|
.png)
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2021-07-09 | |||||
| タイトル | ||||||
| タイトル | モデル検査手法を用いた組込みアセンブリプログラムのリアルタイム性の形式的検証 | |||||
| タイトル | ||||||
| タイトル | Formal Verification of Real-Time Properties for Embedded Assembly Program Using Model Checking | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_46ec | |||||
| 資源タイプ | thesis | |||||
| 著者 |
呉, 亜軍
× 呉, 亜軍 |
|||||
| 著者別表示 |
WU, YAJUN
× WU, YAJUN |
|||||
| 書誌情報 |
博士論文要旨Abstract |
|||||
| 学位授与番号 | ||||||
| 学位授与番号 | 13301甲第5331号 | |||||
| 学位名 | ||||||
| 学位名 | 博士(工学) | |||||
| 学位授与機関 | ||||||
| 学位授与機関名 | 金沢大学 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2021-03-22 | |||||
| DOI | ||||||
| 識別子タイプ | DOI | |||||
| 関連識別子 | https://doi.org/10.1587/transinf.2019EDP7172 | |||||
| 内容記述 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 博士論文要旨Abstract 以下に掲載：IEICE Trans. Information and Systems Vol.E103-D No.4 pp.800-812 2020.IEICE. 共著者：Yajun WU, Satoshi YAMANE | |||||
| 関連URI | ||||||
| 識別子タイプ | HDL | |||||
| 関連識別子 | http://hdl.handle.net/2297/0062872 | |||||
