雑誌情報処理学会研究報告
Volume number2006(28) 2006.3.16・17
ArticleSpecC言語の依存...

SpecC言語の依存グラフを利用したプログラムチェッカ (組込技術とネットワークに関するワークショップETNET2006)

Icons representing 記事

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

(組込技術とネットワークに関するワークショップETNET2006)

Call No. (NDL)
Z14-1121
Bibliographic ID of National Diet Library
7873431
Material type
記事
Author
佐々木 俊介ほか
Publisher
東京 : 情報処理学会
Publication date
2006-03
Material Format
Paper
Journal name
情報処理学会研究報告 = IPSJ SIG technical reports 2006(28) 2006.3.16・17
Publication Page
p.13～18
View All

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
記事
Title
SpecC言語の依存グラフを利用したプログラムチェッカ
Author/Editor
佐々木 俊介
西原 佑
安藤 大介 他
Series Title
組込技術とネットワークに関するワークショップETNET2006
Author Heading
佐々木 俊介
西原 佑
安藤 大介
Periodical title
情報処理学会研究報告 = IPSJ SIG technical reports
No. or year of volume/issue
2006(28) 2006.3.16・17
Volume
2006
Issue
28
Pages
13～18