文献

J-GLOBAL ID：201202261903740979   整理番号：12A1692644

有限状態特性のモニタリング:アルゴリズム的アプローチとその相対的利点

Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths

著者 (3件)： PURANDARE Rahul (Univ. Nebraska - Lincoln, NE, USA) ,  DWYER Matthew B. (Univ. Nebraska - Lincoln, NE, USA) ,  ELBAUM Sebastian (Univ. Nebraska - Lincoln, NE, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7186  ページ： 381-395  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： モニタリング ,  アルゴリズム ,  利点