WEKO3
-
RootNode
アイテム
B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
https://ipsj.ixsq.nii.ac.jp/records/154654
https://ipsj.ixsq.nii.ac.jp/records/15465479f5ca25-162a-4168-8907-222ff822f960
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00006540659.pdf (248.0 kB)
|
Copyright (c) 2004 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2004-08-20 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア) | |||||||||||||
| タイトル | ||||||||||||||
| 言語 | en | |||||||||||||
| タイトル | B-036 Fomal Specification and Verification of STS protocol by CafeOBJ and Coq | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 北陸先端科学技術大学院大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| NECソフトウェア北陸:北陸先端技術大学院大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 北陸先端科学技術大学院大学 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 北陸先端科学技術大学院大学 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| JAIST | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| NEC Software Hokuriku, Ltd.:JAIST | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| JAIST | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| JAIST | ||||||||||||||
| 著者名 |
原, 光太朗
× 原, 光太朗
× 緒方, 和博
× 中村, 正樹
× 二木, 厚吉
|
|||||||||||||
| 著者名(英) |
Hara, Kotaro
× Hara, Kotaro
× Ogata, Kazuhiro
× Nakamura, Masaki
× Futatsugi, Kokichi
|
|||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AA11740605 | |||||||||||||
| 書誌情報 |
情報科学技術フォーラム一般講演論文集 巻 3, 号 1, p. 177-178, 発行日 2004-08-20 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
