Feature Interaction Detection by Bounded Model Checking

このアイテムのアクセス数:80件（2022-08-19 02:38 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27263

ファイル	フォーマット	サイズ	閲覧回数	説明
IEICE_E86-D_12_2579	pdf	589 KB	59

タイトル	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