モデル検査によるアーキテクチャ設計検証

• 岸 知二

• 野田 夏子

Bibliographic Information

Other Title

• モデル ケンサ ニ ヨル アーキテクチャ セッケイ ケンショウ

Journal

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

  情報処理学会研究報告 = IPSJ SIG technical reports 2005 (119), 9-16, 2005-11-29

  東京 : 情報処理学会

Details

• CRID: 1520290884485962240
• NII Article ID: 110003503083
• NII Book ID: AN10539294
• ISSN: 09196072
• NDL BIB ID: 7730983
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7730983
• Text Lang: ja
• NDL Source Classification:
  • ZM13(科学技術--科学技術一般--データ処理・計算機)
• Data Source:
  • NDL
  • CiNii Articles