B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)

• 原, 光太朗

• 緒方, 和博

• 中村, 正樹

• 二木, 厚吉

書誌事項

タイトル別名

• B-036 Fomal Specification and Verification of STS protocol by CafeOBJ and Coq

収録刊行物

• 情報科学技術フォーラム一般講演論文集

  情報科学技術フォーラム一般講演論文集 3 (1), 177-178, 2004-08-20

  FIT(電子情報通信学会・情報処理学会)運営委員会

詳細情報

• CRID: 1050574047091614336
• NII論文ID: 110007683648
• NII書誌ID: AA11740605
• Web Site: http://id.nii.ac.jp/1001/00154620/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles