文献

J-GLOBAL ID：201102206393380460   整理番号：11A0490597

ランダマイズド分散システムのためのモデル検査技法について

On Model Checking Techniques for Randomized Distributed Systems

著者 (1件)： BAIER Christel (Technische Univ. Dresden, DEU)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6396  ページ： 1-11  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 分散システム ,  モデル検査 ,  技法