B-037 Zによる仕様記述と状態遷移規則の比較による誤り検出法(B.ソフトウェア)

• 平岡, 雅也

• 織田, 健

書誌事項

タイトル別名

• B-037 The Error Detecting Method by Comparing a Z Specification with State Transition Rules

収録刊行物

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

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

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

詳細情報

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