文献
J-GLOBAL ID:201002250220252662
整理番号:10A0326830
MCBOK2008:ソフトウェア開発のためのモデル検査知識体系
著者 (7件):
西原秀明
(産業技術総合研 システム検証研究セ)
,
青木利晃
(北陸先端科学技術大学院大)
,
粂野文洋
(国立情報学研 先端ソフトウェア工学・国際研究セ)
,
粂野文洋
(三菱総研)
,
篠崎孝一
(関西電力 総合技術研 電力技術研)
,
田口研治
(国立情報学研 先端ソフトウェア工学・国際研究セ)
,
早水公二
(メルコ・パワー・システムズ)
資料名:
情報処理学会シンポジウム論文集
(情報処理学会ワークショップ論文集)
巻:
2009
号:
10
ページ:
49-57
発行年:
2009年10月14日
JST資料番号:
Y0978B
ISSN:
1344-0640
資料種別:
会議録 (C)
記事区分:
短報
発行国:
日本 (JPN)
言語:
日本語 (JA)