文献

J-GLOBAL ID：201302269078850799   整理番号：13A0791832

分散アルゴリズムの形式的検証:疑似コードから検証済み証明まで

Formal Verification of Distributed Algorithms

著者 (3件)： KUEFNER Philipp (Technische Univ. Berlin) ,  NESTMANN Uwe (Technische Univ. Berlin) ,  RICKMANN Christina (Technische Univ. Berlin)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7604  ページ： 209-224  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： 分散アルゴリズム ,  形式的検証 ,  検証 ,  証明