WEKO3
アイテム
リアルタイムシステムの形式的手法とその検証ツール(ソフトウェア紹介)
http://hdl.handle.net/2297/12291
http://hdl.handle.net/2297/12291f904327d-6ac1-46c7-921a-b46ef68b79a8
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YAMANA-S-81.pdf (558.1 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | リアルタイムシステムの形式的手法とその検証ツール(ソフトウェア紹介) | |||||
| タイトル | ||||||
| タイトル | Formal Methods and Verification Tools for Real-Time Systems | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
山根, 智
× 山根, 智 |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
コンピュータソフトウェア 巻 25, 号 3, p. 81-87, 発行日 2008-07-25 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0289-6540 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN10075819 | |||||
| 出版者 | ||||||
| 出版者 | 日本ソフトウェア科学会 | |||||
| 権利 | ||||||
| 権利情報 | 日本ソフトウェア科学会；本文データは日本ソフトウェア科学会の許諾に基づきCiNiiから複製したものである | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連URI | ||||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://ci.nii.ac.jp/naid/110006840406/ | |||||
