雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
リポジトリ登録支援システム
附属図書館
このアイテムのアクセス数:
202
件
(
2022-06-26
05:47 集計
)
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27255
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
IEICE_E92-D_6_1250
pdf
209 KB
226
論文情報
タイトル
Feature Interaction Verification Using Unbounded Model Checking with Interpolation
著者
Matsuo, Takafumi
Matsuo, Takafumi
Tsuchiya, Tatsuhiro
Tsuchiya, Tatsuhiro
Kikuno, Tohru
Kikuno, Tohru
キーワード等
unbounded model checking
interpolation
feature interaction
verification
公開者
電子情報通信学会
公開者の別表記
The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)
デンシ ジョウホウ ツウシン ガッカイ
掲載誌名
IEICE transactions on information and systems
巻
E92-D
号
6
開始ページ
1250
終了ページ
1259
刊行年月
2009-06-01
ISSN
09168532
NCID
AA10826272
DOI (出版社版)
info:doi/10.1587/transinf.E92.D.1250
URL
http://hdl.handle.net/11094/27255
関連情報 (references)
http://search.ieice.org/
権利情報
Copyright © 2009 The Institute of Electronics, Information and Communication Engineers
言語
英語
カテゴリ
学術雑誌論文 Journal Article
論文詳細を表示
著者版フラグ
publisher
NII資源タイプ
学術雑誌論文
ローカル資源タイプ
学術雑誌論文
dcmi資源タイプ
text
DCTERMS.bibliographicCitation
IEICE transactions on information and systems.E92-D(6) P.1250-P.1259
DC.title
Feature Interaction Verification Using Unbounded Model Checking with Interpolation
DC.creator
Matsuo, Takafumi
Tsuchiya, Tatsuhiro
Kikuno, Tohru
DC.publisher
電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766
英語
DCTERMS.issued" scheme="DCTERMS.W3CDTF
2009-06-01
DC.identifier
info:doi/10.1587/transinf.E92.D.1250
DC.identifier" scheme="DCTERMS.URI
http://hdl.handle.net/11094/27255
DC.subject
unbounded model checking
interpolation
feature interaction
verification
DC.rights
Copyright © 2009 The Institute of Electronics, Information and Communication Engineers
citation_title
Feature Interaction Verification Using Unbounded Model Checking with Interpolation
citation_author
Matsuo, Takafumi
Tsuchiya, Tatsuhiro
Kikuno, Tohru
citation_publisher
電子情報通信学会
citation_language
英語
citation_date
2009-06-01
citation_journal_title
IEICE transactions on information and systems
citation_volume
E92-D
citation_issue
6
citation_firstpage
1250
citation_lastpage
1259
citation_issn
09168532
citation_doi
info:doi/10.1587/transinf.E92.D.1250
citation_public_url
http://hdl.handle.net/11094/27255
citation_keywords
unbounded model checking
interpolation
feature interaction
verification