文献

J-GLOBAL ID：200902250767102370   整理番号：04A0574725

ソフトウェア検証のためのエキスパートシステムに応用する部分次数制約のための効率的BDD符号化

Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification

著者 (2件)： KURIHARA M (Hokkaido Univ., Sapporo, JPN) ,  KONDO H (Ibaraki Univ., Hitachi, JPN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 3029  ページ： 827-837  発行年： 2004年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (7件)： ソフトウェア検証 ,  エキスパートシステム ,  応用 ,  次数 ,  制約 ,  BDD ,  符号化