ようこそ ゲスト さん
雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
このアイテムのアクセス数:
57
件
(
2021-03-09
05:16 集計
)
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27263
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
IEICE_E86-D_12_2579
pdf
589 KB
53
論文情報
タイトル
Feature Interaction Detection by Bounded Model Checking
著者
Yokogawa, Tomoyuki
Yokogawa, Tomoyuki
Tsuchiya, Tatsuhiro
Tsuchiya, Tatsuhiro
Nakamura, Masahide
Nakamura, Masahide
Kikuno, Tohru
Kikuno, Tohru
キーワード等
bounded model checking
SAT
feature interaction
公開者
電子情報通信学会
公開者の別表記
The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)
デンシ ジョウホウ ツウシン ガッカイ
掲載誌名
IEICE transactions on information and systems
巻
E86-D
号
12
開始ページ
2579
終了ページ
2587
刊行年月
2003-12-01
ISSN
09168532
NCID
AA10826272
URL
http://hdl.handle.net/11094/27263
関連情報 (references)
http://search.ieice.org/
権利情報
Copyright © 2003 The Institute of Electronics, Information and Communication Engineers
言語
英語
カテゴリ
学術雑誌論文 Journal Article
論文詳細を表示
著者版フラグ
publisher
NII資源タイプ
学術雑誌論文
ローカル資源タイプ
学術雑誌論文
dcmi資源タイプ
text
DCTERMS.bibliographicCitation
IEICE transactions on information and systems.E86-D(12) P.2579-P.2587
DC.title
Feature Interaction Detection by Bounded Model Checking
DC.creator
Yokogawa, Tomoyuki
Tsuchiya, Tatsuhiro
Nakamura, Masahide
Kikuno, Tohru
DC.publisher
電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766
英語
DCTERMS.issued" scheme="DCTERMS.W3CDTF
2003-12-01
DC.identifier" scheme="DCTERMS.URI
http://hdl.handle.net/11094/27263
DC.subject
bounded model checking
SAT
feature interaction
DC.rights
Copyright © 2003 The Institute of Electronics, Information and Communication Engineers
citation_title
Feature Interaction Detection by Bounded Model Checking
citation_author
Yokogawa, Tomoyuki
Tsuchiya, Tatsuhiro
Nakamura, Masahide
Kikuno, Tohru
citation_publisher
電子情報通信学会
citation_language
英語
citation_date
2003-12-01
citation_journal_title
IEICE transactions on information and systems
citation_volume
E86-D
citation_issue
12
citation_firstpage
2579
citation_lastpage
2587
citation_issn
09168532
citation_public_url
http://hdl.handle.net/11094/27263
citation_keywords
bounded model checking
SAT
feature interaction