文献

J-GLOBAL ID：200902212395697551   整理番号：07A0270850

整構造型正規モデル検査における不動点計算について 損失のあるチャネルシステムへの応用

On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems

著者 (3件)： BAIER Christel (Univ. Bonn, DEU) ,  BERTRAND Nathalie (ENS de Cachan, FRA) ,  SCHNOEBELEN Philippe (ENS de Cachan, FRA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 4246  ページ： 347-361  発行年： 2006年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (6件)： モデル検査 ,  不動点 ,  計算 ,  損失 ,  チャネル ,  応用