WEKO3
アイテム
UPPAALを用いた連動結線のモデル検証の検討
https://ipsj.ixsq.nii.ac.jp/records/214018
https://ipsj.ixsq.nii.ac.jp/records/214018be9d8bdd-5a00-4c1a-ac65-a8554d998224
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SLDM21196009.pdf (82.1 kB)
|
Copyright (c) 2021 by the Institute of Electronics, Information and Communication Engineers This SIG report is only available to those in membership of the SIG.
|
|
| SLDM:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2021-11-24 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | UPPAALを用いた連動結線のモデル検証の検討 | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | 低消費電力及びモデル検証 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||||
| 資源タイプ | technical report | |||||||||||||
| 著者所属 | ||||||||||||||
| 京三製作所 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 京三製作所 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 京三製作所 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 東京大学 | ||||||||||||||
| 著者名 |
長谷川, 匠
× 長谷川, 匠
× 矢吹, 耕平
× 志村, 貴大
× 水間, 毅
|
|||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AA11451459 | |||||||||||||
| 書誌情報 |
研究報告システムとLSIの設計技術（SLDM） 巻 2021-SLDM-196, 号 9, p. 1-1, 発行日 2021-11-24 |
|||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||||
| 収録物識別子 | 2188-8639 | |||||||||||||
| Notice | ||||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
