ディペンダブル・コンピューティング研究グループ

タイトル：ロバストテスト可能データパスを指向した高位合成におけるバインディング法

著者: 吉川祐樹, 丸谷瞬, 市原英行, 井上智生

雑誌名：信学技報

Volume: 110

Number: 106

ページ: 13-18

発行月: 6

発行年: 2010

タイプ: techreport