文献

J-GLOBAL ID：201902214775711891   整理番号：19S0442358

Fault localization of energy consumption behavior using maximum satisfiability

著者 (4件)： Nakajima, Shin (National Institute of Informatics) ,  Nakajima, Shin (SOKENDAI) ,  Lamraoui, Si-Mohamed (National Institute of Informatics) ,  Lamraoui, Si-Mohamed (SOKENDAI)
資料名： Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
巻： 9361  ページ： 99-115  発行年： 2015年 
JST資料番号： SCOPUS  ISSN： 0302-9743  ISBN： 9783319251400 
発行国： ドイツ (DEU)  言語： 英語 (EN)