お知らせ
2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ
技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ
電子情報通信学会における研究会開催について
お知らせ NEW
参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
トップに戻る
前のページに戻る
[Japanese]
/
[English]
講演抄録/キーワード
講演名
2008-11-18 13:25
反例を利用した網羅性の高いプロパティ集合生成手法
○
松本剛史
・
李 蓮福
・
吉田浩章
(
東大
)・
余宮尚志
(
東芝
)・
藤田昌宏
(
東大
)
エレソ技報アーカイブはこちら
抄録
(和)
(まだ登録されていません)
(英)
(Not available yet)
キーワード
(和)
/ / / / / / /
(英)
/ / / / / / /
文献情報
信学技報, vol. 108, pp. 115-120, 2008年11月.
資料番号
発行日
2008-11-10 (VLD, DC)
ISSN
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
PDFダウンロード
研究会情報
研究会
VLD DC IPSJ-SLDM CPSY RECONF ICD CPM
開催期間
2008-11-17 - 2008-11-19
開催地(和)
北九州学術研究都市
開催地(英)
Kitakyushu Science and Research Park
テーマ(和)
デザインガイア2008 ―VLSI設計の新しい大地―
テーマ(英)
Design Gaia 2008 ―New field of VLSI design―
講演論文情報の詳細
申込み研究会
IPSJ-SLDM
会議コード
2008-11-VLD-DC-SLDM-CPSY-RECONF-ICD-CPM
本文の言語
日本語
タイトル(和)
反例を利用した網羅性の高いプロパティ集合生成手法
サブタイトル(和)
タイトル(英)
Generation of High Coverage Property Set Using Counterexamples
サブタイトル(英)
キーワード(1)(和/英)
/
キーワード(2)(和/英)
/
キーワード(3)(和/英)
/
キーワード(4)(和/英)
/
キーワード(5)(和/英)
/
キーワード(6)(和/英)
/
キーワード(7)(和/英)
/
キーワード(8)(和/英)
/
第1著者 氏名(和/英/ヨミ)
松本 剛史
/
Takeshi Matsumoto
/
マツモト タケシ
第1著者 所属(和/英)
東京大学
(略称:
東大
)
University of Tokyo
(略称:
Univ. of Tokyo
)
第2著者 氏名(和/英/ヨミ)
李 蓮福
/
Yeonbok Lee
/
イ ヨンボク
第2著者 所属(和/英)
東京大学
(略称:
東大
)
University of Tokyo
(略称:
Univ. of Tokyo
)
第3著者 氏名(和/英/ヨミ)
吉田 浩章
/
Hiroaki Yoshida
/
ヨシダ ヒロアキ
第3著者 所属(和/英)
東京大学
(略称:
東大
)
University of Tokyo
(略称:
Univ. of Tokyo
)
第4著者 氏名(和/英/ヨミ)
余宮 尚志
/
Hisashi Yomiya
/
ヨミヤ ヒサシ
第4著者 所属(和/英)
株式会社東芝
(略称:
東芝
)
Toshiba Corporation
(略称:
Toshiba Corporation
)
第5著者 氏名(和/英/ヨミ)
藤田 昌宏
/
Masahiro Fujita
/
フジタ マサヒロ
第5著者 所属(和/英)
東京大学
(略称:
東大
)
University of Tokyo
(略称:
Univ. of Tokyo
)
第6著者 氏名(和/英/ヨミ)
/ /
第6著者 所属(和/英)
(略称: )
(略称: )
第7著者 氏名(和/英/ヨミ)
/ /
第7著者 所属(和/英)
(略称: )
(略称: )
第8著者 氏名(和/英/ヨミ)
/ /
第8著者 所属(和/英)
(略称: )
(略称: )
第9著者 氏名(和/英/ヨミ)
/ /
第9著者 所属(和/英)
(略称: )
(略称: )
第10著者 氏名(和/英/ヨミ)
/ /
第10著者 所属(和/英)
(略称: )
(略称: )
第11著者 氏名(和/英/ヨミ)
/ /
第11著者 所属(和/英)
(略称: )
(略称: )
第12著者 氏名(和/英/ヨミ)
/ /
第12著者 所属(和/英)
(略称: )
(略称: )
第13著者 氏名(和/英/ヨミ)
/ /
第13著者 所属(和/英)
(略称: )
(略称: )
第14著者 氏名(和/英/ヨミ)
/ /
第14著者 所属(和/英)
(略称: )
(略称: )
第15著者 氏名(和/英/ヨミ)
/ /
第15著者 所属(和/英)
(略称: )
(略称: )
第16著者 氏名(和/英/ヨミ)
/ /
第16著者 所属(和/英)
(略称: )
(略称: )
第17著者 氏名(和/英/ヨミ)
/ /
第17著者 所属(和/英)
(略称: )
(略称: )
第18著者 氏名(和/英/ヨミ)
/ /
第18著者 所属(和/英)
(略称: )
(略称: )
第19著者 氏名(和/英/ヨミ)
/ /
第19著者 所属(和/英)
(略称: )
(略称: )
第20著者 氏名(和/英/ヨミ)
/ /
第20著者 所属(和/英)
(略称: )
(略称: )
講演者
第1著者
発表日時
2008-11-18 13:25:00
発表時間
25分
申込先研究会
IPSJ-SLDM
資料番号
VLD2008-79, DC2008-47
巻番号(vol)
vol.108
号番号(no)
no.298(VLD), no.299(DC)
ページ範囲
pp.115-120
ページ数
6
発行日
2008-11-10 (VLD, DC)
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
IEICE / 電子情報通信学会