SpecC言語の依存グラフを利用したプログラムチェッカ

• 資料種別: 記事
• タイトル: SpecC言語の依存グラフを利用したプログラムチェッカ
• 著者・編者: 佐々木 俊介; 西原 佑; 安藤 大介 他
• シリーズタイトル: 組込技術とネットワークに関するワークショップETNET2006
• 著者標目: 佐々木 俊介; 西原 佑; 安藤 大介
• タイトル（掲載誌）: 情報処理学会研究報告 = IPSJ SIG technical reports
• 巻号年月日等（掲載誌）: 2006(28) 2006.3.16・17
• 掲載巻: 2006
• 掲載号: 28
• 掲載ページ: 13～18
• 掲載年月日（W3CDTF）: 2006-03
• ISSN（掲載誌）: 0919-6072
• ISSN-L（掲載誌）: 0919-6072
• 出版事項（掲載誌）: 東京 : 情報処理学会
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: システム依存グラフ; System Dependence Graph; Program Checker
• NDLC: ZM13
• 対象利用者: 一般
• レポート番号（雑誌記事）: 2006-SLDM-124-(3)
• 所蔵機関: 国立国会図書館
• 請求記号: Z14-1121
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館雑誌記事索引; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 7873431; http://id.ndl.go.jp/bib/7873431
• 整理区分コード: 632