WEKO3
アイテム
抽象状態機械の到達性解析による安全性の簡易検証
https://cuc.repo.nii.ac.jp/records/2527
https://cuc.repo.nii.ac.jp/records/2527c00f423a-70f9-4631-a0e1-eb0455ab8341
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00009682219.pdf (1.9 MB)
|
|
| Item type | 紀要論文(ELS) / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2015-03-01 | |||||
| タイトル | ||||||
| タイトル | 抽象状態機械の到達性解析による安全性の簡易検証 | |||||
| タイトル | ||||||
| タイトル | Verifying Safety Properties of a System by Lightweight Reachability Analysis | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| ページ属性 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | P(論文) | |||||
| 記事種別(日) | ||||||
| 値 | 論説 | |||||
| 記事種別(英) | ||||||
| 言語 | en | |||||
| 値 | Article | |||||
| 著者名(日) |
大矢野, 潤
× 大矢野, 潤 |
|||||
| 著者名よみ |
オオヤノ, ジュン
× オオヤノ, ジュン |
|||||
| 著者名(英) |
OYANO, Jun
× OYANO, Jun |
|||||
| 著者所属(日) | ||||||
| 値 | 千葉商科大学政策情報学部 | |||||
| 雑誌書誌ID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00142578 | |||||
| 書誌情報 |
千葉商大紀要 巻 52, 号 2, p. 21-34, 発行日 2015-03 |
|||||
