記号モデル検証システムSMVにおける像計算

• 平石 裕実

書誌事項

タイトル別名

• キゴウ モデル ケンショウ システム SMV ニ オケル ゾウケイサン
• テストと設計検証論文特集
• テスト ト セッケイ ケンショウ ロンブン トクシュウ

収録刊行物

• 電子情報通信学会論文誌. D-1, 情報・システム. 1, 情報処理 = The IEICE transactions on information and systems. Pt. 1 / 電子情報通信学会 編

  電子情報通信学会論文誌. D-1, 情報・システム. 1, 情報処理 = The IEICE transactions on information and systems. Pt. 1 / 電子情報通信学会 編 82 (7), 791-798, 1999-07

  東京 : 電子情報通信学会情報・システムソサイエティ

詳細情報

• CRID: 1520009410276835968
• NII論文ID: 110003184352
• NII書誌ID: AN10071319
• ISSN: 09151915
• NDL書誌ID: 4810865
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I4810865
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles