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 |
|||||||
