データ構造に関する仕様を含め検証できるC言語プログラム部品検証ツール CForge (特集 製品ライフサイクルでの高信頼化技術) CForge modular verification tool for C programs including specifications of data structures

この論文をさがす

収録刊行物

  • 東芝レビュー

    東芝レビュー 64(8), 20-23, 2009-08

    東芝技術企画室

各種コード

  • NII論文ID(NAID)
    40016801206
  • NII書誌ID(NCID)
    AN00166099
  • 本文言語コード
    JPN
  • 資料種別
    特集
  • ISSN
    03720462
  • NDL 記事登録ID
    10416849
  • NDL 雑誌分類
    ZN31(科学技術--電気工学・電気機械工業)
  • NDL 請求記号
    Z16-317
  • データ提供元
    NDL 
ページトップへ