WEKO3
アイテム
リアルタイムシステムの形式的手法とその検証ツール
https://doi.org/10.24517/00049630
https://doi.org/10.24517/000496308f5dc5d9-5d4f-4e88-a4d8-23bc011eaabe
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-YAMANE-S-81.pdf (444.3 kB)
|
.png)
|
| アイテムタイプ | 学術雑誌論文 / Journal Article(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-12-28 | |||||||
| タイトル | ||||||||
| タイトル | リアルタイムシステムの形式的手法とその検証ツール | |||||||
| タイトル | ||||||||
| タイトル | Formal Methods and Verification Tools for Real-Time Systems | |||||||
| 言語 | en | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| ID登録 | ||||||||
| ID登録 | 10.24517/00049630 | |||||||
| ID登録タイプ | JaLC | |||||||
| 著者 |
Yamane, Satoshi
× Yamane, Satoshi |
|||||||
| 著者別表示 |
山根, 智
× 山根, 智
|
|||||||
| 提供者所属 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||||
| 書誌情報 |
Computer Software 巻 25, 号 3, p. 81-87, 発行日 2008-09-30 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 0289-6540 | |||||||
| NCID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10075819 | |||||||
| DOI | ||||||||
| 関連タイプ | isIdenticalTo | |||||||
| 識別子タイプ | DOI | |||||||
| 関連識別子 | 10.11309/jssst.25.3_81 | |||||||
| 出版者 | ||||||||
| 出版者 | 日本ソフトウェア科学会 = Japan Society for Software Science and Technology | |||||||
| 権利 | ||||||||
| 権利情報 | Copyright © 日本ソフトウェア科学会 Japan Society for Software Science and Technology 2008 | |||||||
| 著者版フラグ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
| 関連URI | ||||||||
| 識別子タイプ | URI | |||||||
| 関連識別子 | https://www.jstage.jst.go.jp/browse/jssst/-char/ja/ | |||||||
| 関連名称 | https://www.jstage.jst.go.jp/browse/jssst/-char/ja/ | |||||||
| 関連URI | ||||||||
| 識別子タイプ | URI | |||||||
| 関連識別子 | http://www.jssst.or.jp/ | |||||||
| 関連名称 | http://www.jssst.or.jp/ | |||||||
