VDMにおけるテスティング方式についての考察

• 田口 研治

• 寺本 宏子

• 本位田 真一

書誌事項

タイトル別名

• VDM ニ オケル テスティング ホウシキ ニ ツイテ ノ コウサツ

収録刊行物

• 情報処理学会研究報告 = IPSJ SIG technical reports

  情報処理学会研究報告 = IPSJ SIG technical reports 2006 (35), 129-136, 2006-03

  東京 : 情報処理学会

詳細情報

• CRID: 1520009409521235456
• NII論文ID: 110004687089
• NII書誌ID: AN10539294
• ISSN: 09196072
• NDL書誌ID: 7873684
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7873684
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZM13(科学技術--科学技術一般--データ処理・計算機)
• データソース種別:
  • NDL
  • CiNii Articles