WEKO3
アイテム
B-018 状態遷移を持つオブジェクト間通信のモデル検査技術(B分野:ソフトウェア,一般論文)
https://ipsj.ixsq.nii.ac.jp/records/149880
https://ipsj.ixsq.nii.ac.jp/records/1498804648338b-4de3-41d1-bf53-4db147ce96ab
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006916952.pdf (246.1 kB)
|
Copyright (c) 2010 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-08-20 | |||||||||||
| タイトル | ||||||||||||
| タイトル | B-018 状態遷移を持つオブジェクト間通信のモデル検査技術(B分野:ソフトウェア,一般論文) | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | B-018 Model Checking for Interaction between Objects with States | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 三菱電機(株)情報技術総合研究所 | ||||||||||||
| 著者所属 | ||||||||||||
| 三菱電機(株)情報技術総合研究所 | ||||||||||||
| 著者所属 | ||||||||||||
| 三菱電機(株)情報技術総合研究所 | ||||||||||||
| 著者名 |
大貫, 智洋
× 大貫, 智洋
× 上野, 浩一郎
× 磯田, 誠
|
|||||||||||
| 著者名(英) |
Onuki, Tomohiro
× Onuki, Tomohiro
× Ueno, Koichiro
× Isoda, Makoto
|
|||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA1242354X | |||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 9, 号 1, p. 307-308, 発行日 2010-08-20 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
